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

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

vCard
Administrative data

Fields of expertise

formal verification, automated reasoning, programming languages

Education

PhD

MIT

2007

Teaching & PhD

Teaching

Computer Science

Communication Systems

PhD Programs

Doctoral program in computer and communication sciences

Courses

Parallelism and concurrency

The course introduces parallel programming models, algorithms, and data structures, map-reduce frameworks and their use for data analysis, as well as shared-memory concurrency.

Functional programming

Understanding of the principles and applications of declaratative programming, the fundamental models of program execution, application of fundamental methods of program composition,meta-programming through the construction of interpreters and advanced programming techniques.

Computer language processing

We teach the fundamental aspects of analyzing and interpreting computer languages, including the techniques to build compilers. You will build a working compiler from an elegant functional language into the new web standard for portable binaries called WebAssembly ( https://webassembly.org/ )

Formal verification

We introduce formal verification as an approach for developing highly reliable systems. Formal verification finds proofs that computer systems work under all relevant scenarios. We will learn how to use formal verification tools and explain the theory and the practice behind them.