Viktor Kuncak

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

Site web: http://sin.epfl.ch
Unité: SIN-ENS

Site web: http://ssc.epfl.ch
Unité: SSC-ENS

Données administratives

Publications

Enseignement & Phd

Enseignement

  • Computer Science,
  • Communication Systems

Programmes doctoraux

  • Doctoral program in computer and communication sciences

Doctorants

Cours

Formal verification

goto


Parallelism and concurrency

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


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 ... goto


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". goto