Viktor Kunčak leads the research group LARA (Lab for Automated Reasoning and Analysis)
which conducts research in the area Programming Languages and Formal Methods as well as artificial intelligence
at the IC School of EPFL
(list of thesis supervisors of our doctoral program).
NEW: Machine Learning for Programming 2018
Keynote at Scala Days 2017 in Copenhagen.
Press coverage: in this ZDNet
Inaugural lecture (video, photos).
CV is available, as well as a short bio in plain text.