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:
|
|
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.
|
Assistant Professor 
