Viktor Kuncak is an associate professor in the EPFL School of Computer and Communication Sciences, where, since 2007, he leads the Laboratory for Automated Reasoning and Analysis (http://lara.epfl.ch). He works in formal methods with emphasis on algorithms and tools, such as Leon (http://leon.epfl.ch). He has been a program co-chair of CAV 2017, SYNT 2015, FMCAD 2014, and VMCAI 2012. He also co-led an international COST Action to establish standardized formats for verification and synthesis (Rich Model Toolkit). His invited talks include those at 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, whereas a PLDI paper he co-authored got published in the Communications of the ACM as a Research Highlight article. His proposal on Implicit Programming, aiming to bridge the gap between human goals and their computational realizations, was funded in 2012 by a European Research Council (ERC) starting grant.

Viktor Kuncak received a PhD degree from the Massachusetts Institute of Technology (MIT) in 2007, a MSc from MIT in 2001 and a BSc degree from the University of Novi Sad, Faculty of Science, in 2000.