logo epfl

Viktor Kuncak

Ecole Polytechnique Fédérale de Lausanne

Viktor Kuncak
Viktor Kuncak
PhD MIT, 2007
(short bio)
Associate Prof., EPFL
Research Group: LARA
Inaugural Lecture
(slides, photos)
CV
Publications

Graduated PhD Students
Ruzica Piskac (dissertation)

Philippe Suter (dissertation)

Hossein Hojjat (dissertation)

PhD Students:
see LARA page

Implicit Programming

Barbara
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

RESEARCH

Viktor Kuncak 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 area of programming languages and automated software engineering. He uses formal methods while emphasizing algorithmic and tool aspects, in particular automated reasoning, software synthesis, software analysis, verification, and automated testing. Much of his recent interests are embodied in the proposal for implicit programming.

PUBLICATION LIST (also with abstracts, or partial lists from scholar, DBLP, academic search (check also EPFL CS), or ACM)

Organization: EPFL SuRI 2011, Rich Model Toolkit

Recent Program Committees: FMCAD 2014 (co-chair), Scala Conference, ICALP 2013, VMCAI 2012 (Chair), CAV 2012, OOPSLA 2012 ERC, CSL 2012, VSTTE 2012, POPL 2012 ERC, RV 2011, FMCAD 2011, CSL 2011, POPL 2011, PLDI 2011, CADE 2011, ESOP 2011, VMCAI 2011, SAS 2011, SVARM 2010 (chair), IJCAR 2010, PEPM 2010, PLDI 2010 ERC, ABZ 2010, JTRES 2010, BYTECODE 2010, FroCoS 2009, SAS 2009, ECOOP 2009, APV 2009, CC 2009, SOFSEM 2009

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

Some recent publications: 117, 116, 115, 114, 113, 112, 111, 110, 109, 108, 107, 106, 105, 104, 101, 100, 99, 98, 97, 95, 94, 93, 92, 91, 90, 89, 88, 87, 85, 82, 80, 79, 78, 76, 75, 70, 69, 68, 66, 65, 64, 61, 60, 59, 58, 55 (FULL LIST)