secretariat: +41 21 693 4943
direct phone: +41 21 693 5281
(please email first)
fax: +41 21 69 36660
Viktor Kunčak leads the research group LARA (Lab for Automated Reasoning and Analysis)
which conducts research in the area of Programming Languages and Formal Methods at the IC School of EPFL.
With his group and collaborators, he develops algorithms
and software tools for constructing
reliable systems. He works in the broad area of
programming languages and formal methods. His recent topics of work include
software synthesis and software verification.
Some of his interests are embodied
in the proposal for implicit programming.
Here is his inaugural lecture (video, photos) and a keynote at Scala Days 2017 in Copenhagen.
You can read this press coverage of one example research result is in this ZDNet article.
with abstracts, or partial lists from
academic search (check also EPFL CS), or
CAV 2017 (co-chair with Rupak Majumdar),
SYNT 2015 (co-chair)
(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.