Viktor Kuncak

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

Web site:  Web site:  https://lara.epfl.ch

vCard
Administrative data

Fields of expertise

formal verification, theorem proving, program synthesis

Education

PhD

MIT

2007

Publications

Infoscience publications