Viktor Kunčak

Viktor Kuncak Viktor Kunčak
PhD MIT, 2007 (bio)
Associate Prof, EPFL
Group: LARA
CV
Publications
Past PhD Students

Barbara

Leads the research of LARA (Lab for Automated Reasoning and Analysis).

As part of IC School of EPFL (check our doctoral program) we conduct research in programming languages, formal methods (verification, synthesis) as well as artificial intelligence.

Keynote at Scala Days 2017 in Copenhagen.

Press: ZDNet article

Inaugural lecture (video, photos).

PUBLICATION LIST (DBLP, Google Scholar, ACM)


email: viktor.kuncak@epfl.ch
GitHub: vkuncak
secretary: +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
Directions

Please note that any social media accounts that claim to be mine may be fake. Do not assume I am behind any of them.