Viktor Kunčak

Associate Professor, School of Computer and Communication Sciences, EPFL - EPF Lausanne

  • Joined May 2024

Names

Viktor Kunčak (Preferred)

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

No relations added

Expertise

formal methods, program verification
Present
 
symbolic reasoning, theorem proving
Present
 
proof assistants, autoformalization
Present