Viktor Kunčak

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


Graduated PhD Students

secretariat: +41 21 693 4943
direct phone: +41 21 693 5281
(please email first)
fax: +41 21 69 36660
mailing address:
Viktor Kuncak,
Station 14,
CH-1015 Lausanne,
(General Directions)
(Finding my office)

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. (For list of some of my colleagues at EPFL doing computing-related research, please check the list of thesis supervisors of our doctoral program.) With his group and collaborators, he develops algorithms and software tools for constructing reliable systems.

Here is his inaugural lecture (video, photos) and a keynote at Scala Days 2017 in Copenhagen.

You can also read press coverage of one example research result in this ZDNet article.

PUBLICATION LIST (also partial lists from DBLP, Google Scholar, ACM)

Program Committees: CAV 2017 (co-chair with Rupak Majumdar), SYNT 2015 (co-chair) FMCAD 2014 (co-chair and local org. chair; see fmcad proceedings, general web site), VMCAI 2012 (co-chair)

CURRICULUM VITAE is available, as well as a short bio in plain text format.