Viktor Kunčak (Preferred)
Viktor Kunčak
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 Advisee
Giuliano Losa
2009 – 2014
Expertise
autoformalization
2023 – Present
theorem proving
2000 – Present
formal verification
2000 – Present
proof checking
2000 – Present
programming languages
2000 – Present
Publications
Co-Authors
- Alberto Silvio Chiappa
- Aleksandra Radenovic
- Alexander Mathis
- Alexandre Alahi
- Alexandre Schöpfer
- Ali Sinan Köksal
- Alireza Sakhaeirad
- Andrea Gilot
- Andreas Podelski
- Andrej Janchevski
- Andrej Spielmann
- Andres Nötzli
- Andrew Reynolds
- Angelika Romanou
- Anja Tiede
- Anna Sotnikova
- Anne-Florence Bitbol
- Antoine Bosselut
- Antonio Sclocchi
- Auguste Poiroux
- Barbara Jobstmann
- Beatriz Borges
- Boi Faltings
- Bruno Marnette
- Carsten Fuhs