Viktor Kuncak
Associate Professor
viktor.kuncak@epfl.ch +41 21 693 52 81 http://lara.epfl.ch/~kuncak
Detailed page
https://lara.epfl.ch/~kuncak
EPFL IC IINFCOM LARA
INR 318 (Bâtiment INR)
Station 14
1015 Lausanne
+41 21 693 52 81
+41 21 693 49 43
Office:
INR 318
EPFL
>
IC
>
IINFCOM
>
LARA
Web site: Web site: https://lara.epfl.ch
Fields of expertise
Biography
Viktor Kunčak joined EPFL in 2007, after receiving a PhD degree from MIT. Since then has been leading the Laboratory for Automated Reasoning and Analysis and supervised at least 15 completed PhD theses. He works on languages, algorithms and systems for verification and automated reasoning. He served as an initiator and one of the coordinators of a European network (COST action) in the area of automated reasoning, verification, and synthesis. In 2012 he received a 5-year single-investigator European Research Council (ERC) grant of 1.5M EUR. His invited talks include those at Lambda Days, Scala Days, NFM, LOPSTR, SYNT, ICALP, CSL, RV, VMCAI, and SMT. A paper on test generation he co-authored received an ACM SIGSOFT distinguished paper award at ICSE. A PLDI paper he co-authored was published in the Communications of the ACM as a Research Highlight article. The answer to the big question of his citations, according to Google Scholar, is around 42. He was an associate editor of ACM Transactions on Programming Languages and Systems (TOPLAS) and served as a co-chair of conferences on Computer-Aided Verification (CAV), Formal Methods in Computer Aided Design (FMCAD), Workshop on Synthesis (SYNT), and Verification, Model Checking, and Abstract Interpretation (VMCAI). At EPFL he taught courses on functional and parallel programming, compilers, and verification; at Coursera he co-taught the MOOC "Parallel Programming".Education
PhD
MIT
2007
Publications
Infoscience publications
Teaching & PhD
Teaching
Computer Science
Communication Systems