Sumit Gulwani gründete und leitet derzeit das PROSE-Forschungs- und Entwicklungsteam bei Microsoft Research, das Techniken für die Programmsynthese entwickelt und diese in verschiedene ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results