Viktor Kunčak

Viktor Kuncak
Viktor Kunčak
PhD MIT, 2007
(short bio)
Associate Prof, EPFL
Group: LARA

CV
Publications

Graduated PhD Students


Barbara

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).

PUBLICATION LIST (DBLP, Google Scholar, ACM)

PC Co-Chair: CAV 2017, SYNT 2015, FMCAD 2014 (proceedings), VMCAI 2012

CV is available, as well as a short bio in plain text.


email: viktor.kuncak@epfl.ch
secretariat: +41 21 693 4943
direct phone: +41 21 693 5281
(please email first)
fax: +41 21 69 36660
mailing address:
Viktor Kuncak,
EPFL IC LARA INR318,
Station 14,
CH-1015 Lausanne,
Switzerland
(General Directions)
(Finding my office)
EPFL