ERC proposal "Implicit Programming" funded

Professor Viktor Kuncak was awarded an ERC grant for the Implicit Programming project, whose goal is to make software construction simpler and more reliable through automated software synthesis techniques.

>> About the Implicit Programming project