logo epfl

    Viktor Kuncak

Ecole Polytechnique Fédérale de Lausanne

Viktor Kuncak (Photo by Prof. Daniel Jackson)
Assistant Professor
(Professeur assistant tenure-track)
School of Computer and Communication Sciences
email: viktor.kuncak@epfl.ch
secretariat: +41 21 69 35202
direct phone: +41 21 69 35281
(please arrange your call via email first)
fax: +41 21 69 36660
mailing address:
  EPFL / I&C / LARA / INR318
  Station 14,
  CH-1015 Lausanne,
  Switzerland

(General Directions)

(Finding my office)
EPFL
EPFL Panorama

RESEARCH
Viktor Kuncak is interested in program analysis and verification, programming languages, automated reasoning, software reliability, formal methods, and software engineering. He leads the research group LARA (Lab for Automated Reasoning and Analysis) at the IC School of EPFL.

A Recent Talk

LARA Research Group Page

PUBLICATION LIST Page (also with abstracts, or partial lists from DBLP, or ACM)

INITIATIVES: Rich Model Toolkit, COST Action IC0701

Recent Program Committees: POPL 2011, SVARM 2010, 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, IJCAR 2008, PLDI 2007, LPAR 2007, LPAR 2006

BIOGRAPHY
I have received a Ph.D. degree from MIT in 2007 working with Martin Rinard in CSAIL. My dissertation developed techniques for automated reasoning about data structures in imperative programs and formed the foundation of the Jahob verification system. I completed my M.Sc. degree also at MIT working on role analysis (with Martin Rinard and Patrick Lam), a form of static analysis with elements of typestate and shape analysis. I have received a B.Sc. degree in Computer Science from the University of Novi Sad.

Here is my Curriculum Vitae.