Viktor Kuncak

photo placeholder image

Associate Professor

viktor.kuncak@epfl.ch +41 21 693 52 81 http://lara.epfl.ch/~kuncak

EPFL IC IINFCOM LARA
INR 318 (Bâtiment INR)
Station 14
CH-1015 Lausanne

perm_contact_calendarvCard
Administrative data

Fields of expertise

formal verification, automated reasoning, programming languages