Viktor Kunčak (Preferred)
Viktor Kunčak
Pronouns: he/him
Associate Professor, School of Computer and Communication Sciences, EPFL - EPF Lausanne
- Joined May 2024
Names
Emails
****@epfl.ch (Confirmed)
, ****@gmail.com (Confirmed)
Personal Links
Career & Education History
Associate Professor
School of Computer and Communication Sciences, EPFL - EPF Lausanne (ic.epfl.ch)
2012 – Present
Assistant Professor
School of Computer and Communication Sciences, EPFL - EPF Lausanne (ic.epfl.ch)
2007 – 2012
PhD student
EECS, Massachusetts Institute of Technology (mit.edu)
2000 – 2007
Advisors, Relations & Conflicts
PhD Advisor
Giuliano Losa
2009 – 2014
Expertise
autoformalization
2023 – Present
theorem proving
2000 – Present
formal verification
2000 – Present
proof checking
2000 – Present
programming languages
2000 – Present