Viktor Kuncak

Viktor Kunčak leads the research of LARA (Lab for Automated Reasoning and Analysis).

A link to the page in the EPFL directory.

A subset of publications of (current and former) members of the group from Infoscience.

As part of IC School of EPFL (check our doctoral program) LARA conducts research in programming languages and formal methods (verification, synthesis).

Press: ZDNet article

Some lecture videos (see also playlist on youtube):

I was a co-organizer and a co-chair for Machine Learning for Programming (Day 1, Day 2), a program co-chair for CAV 2017 and SYNT 2015, a co-chair and local organizer for FMCAD 2014, and co-chair for VMCAI 2012.

PUBLICATION LIST (DBLP, Google Scholar, ACM, ResearchGate, ORCID)

email: viktor.kuncak@epfl.ch
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

(GitHub, MathGenealogy)

Mastodon



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