Prof. Viktor Kuncak

Viktor Kuncak is an associate professor at the École Polytechnique Fédérale de Lausanne (EPFL), where he has been leading the Laboratory for Automated Reasoning and Analysis since 2007. His research focuses on formal methods, particularly in developing algorithms and tools for program verification and synthesis, including the Leon tool for Scala programs. Kuncak has contributed significantly to the academic community, co-chairing several key conferences and leading initiatives to standardize verification formats. He holds a PhD from the Massachusetts Institute of Technology (MIT) and has received funding from the European Research Council for his work on Implicit Programming, which aims to align human goals with computational processes.