V
About
Regular biography
Viktor Kuncak is an Associate Professor in the Department of Computer Science at École Polytechnique Fédérale de Lausanne. His research focuses on formal methods, automated reasoning, and software verification. He teaches courses such as Computer Language Processing and Formal Mathematics with Lean and AI. Kuncak's work includes publications in top-tier conferences and journals, contributing to areas like program analysis and type systems. He supervises PhD students and is affiliated with the Laboratory for Analysis and Reasoning Automatés (LARA).