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)
Personal Links
Education & Career History
Associate Professor
School of Computer and Communication Sciences, EPFL - EPF Lausanne (ic.epfl.ch)
2012 – 2024
Advisors, Relations & Conflicts
Expertise
formal methods, program verification
Present
symbolic reasoning, theorem proving
Present
proof assistants, autoformalization
Present