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.

Functional programming

Comprendre les principes et appplications de la programmation déclarative,des modèles fondamentaux de l'exécution des logiciels, utiliser des méthodes fondamentales de la composition des logiciels, la méta-programmation par la construction interprètes des techniques de programmation avancées.

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