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

Teaching & PhD

Teaching

Computer Science

Communication Systems

Courses

Software construction

Learn how to design and implement reliable, maintainable, and efficient software using a mix of programming skills (declarative style, higher-order functions, inductive types, parallelism) and fundamental software construction concepts (reusability, abstraction, encapsulation, composition, proofs)

Computer language processing

(Coursebook not yet approved by the section)

Formal verification

(Coursebook not yet approved by the section)