Viktor Kuncak

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

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

Web site:   Site web:   https://sin.epfl.ch

vCard
Données administratives

Enseignement & Phd

Enseignement

Computer Science

Communication Systems

Cours

Parallelism and concurrency

Le cours introduit les plateformes de programmation parallèle et les paradigmes de modèles de programmation et d'exécution.

Computer language processing

Nous enseignons les aspects fondamentaux de l'analyse et l'interprétation des langages informatiques, y compris les techniques pour construire des compilateurs. Le nouveau titre est "Traitement des langages informatiques".

Formal verification

Nous introduisons la vérification formelle, une approche pour développer des systèmes hautement fiables. La vérification formelle trouve des preuves que les systèmes informatiques fonctionnent dans tous les scénarios pertinents. Nous allons apprendre à utiliser les outils de vérification formel, etc