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 automated reasonins, program analysis and verification, programming languages, 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,
ACM, or academic search)
INITIATIVES: Rich Model Toolkit, COST Action IC0701
Recent Program Committees:
POPL 2011, ESOP 2011, SAS 2011,
SVARM 2010 (a 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,
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. In
my dissertation
I developed techniques for automated reasoning about
data structures in imperative programs and formed the
foundation of
the Jahob
verification system, which I designed and to a
large extent implemented. My PhD work also included
several decidability and undecidability results for
constraints arising from program analysis. 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 
