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:
|
|
RESEARCH
Viktor Kuncak 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.
He leads the research group LARA (Lab for Automated Reasoning and Analysis)
at the IC School of EPFL.
PUBLICATION LIST
(also
with abstracts, or partial lists from
scholar,
DBLP,
academic search, or
ACM)
INITIATIVES:
Recent Program Committees:
VMCAI 2012 (Chair),
CAV 2012,
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.
|
Viktor Kuncak 
