SPLASH 2013
Sat 26 - Thu 31 October 2013 Indianapolis, United States
Viktor Kuncak

Registered user since Thu 9 Jul 2015

Name: Viktor Kuncak

Bio: Viktor Kuncak is an associate professor in the EPFL School of Computer and Communication Sciences, where he leads the Laboratory for Automated Reasoning and Analysis (http://lara.epfl.ch). He works in formal methods with emphasis on algorithms and tools, such as Leon (http://leon.epfl.ch). He received a PhD degree from the Massachusetts Institute of Technology (MIT) in 2007. He was a program co-chair of FMCAD 2014 and VMCAI 2012, and led an international COST Action to establish standardized formats for verification and synthesis (Rich Model Toolkit). His invited talks include those at LOPSTR, SYNT, ICALP, CSL, RV, VMCAI, and SMT. He received an ACM SIGSOFT distinguished paper award for work on automated testing. His work on software synthesis procedures was published in the Communications of the ACM as a Research Highlight article. His recent work on Implicit Programming, funded by a European Research Council (ERC) grant, aims to bridge the gap between human goals and their computational realizations.

Affiliation: EPFL, Switzerland

Personal website: http://lara.epfl.ch/~kuncak/

Research interests: program synthesis, verification, and analysis; automated reasoning

Contributions

Onward! 2013Author of Game Programming by Demonstration within the Research Papers-track
SPLASH 2013
Author of Synthesis Modulo Recursive Functions within the OOPSLA-track
Show activities from other conferences

SPLASH 2013-profile
View general profile