Viktor Kuncak

photo placeholder image

viktor.kuncak@epfl.ch +41 21 693 52 81 http://lara.epfl.ch/~kuncak

Detailed page
http://lara.epfl.ch/~kuncak/

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

+41 21 693 52 81
+41 21 693 49 43
Local:   INR 318
EPFL > IC > IINFCOM > LARA

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

+41 21 693 52 81
EPFL > IC > IC-SIN > SIN-ENS

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

vCard
Données administratives

Enseignement & Phd

Enseignement

Computer Science

Communication Systems

Doctorants

Bovel Matthieu Alexandre, Gambhir Sankalp, Guilloud Simon, Milovancevic Dragana, Raya Rodrigo,

A dirigé les thèses EPFL de

Blanc Régis William , Darulova Eva , Edelmann Romain , Gvero Tihomir , Hojjat Hossein , Kandhadai Madhavan Ravichandhran , Kneuss Etienne , Koukoutos Emmanouil , Losa Giuliano , Mayer Mikaël , Piskac Ruzica , Schmid Georg Stefan , Suter Philippe Paul Henri , Voirol Nicolas Charles Yves , Wang Qiang ,

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