Viktor Kuncak
Il - He/him
EPFL IC IINFCOM LARA
INR 318 (Bâtiment INR)
Station 14
1015 Lausanne
+41 21 693 52 81
+41 21 693 49 43
Office:
INR 318
EPFL › IC › IINFCOM › LARA
Site web: https://lara.epfl.ch
+41 21 693 52 81
Office:
INR 318
EPFL › IC › IC-SIN › SIN-ENS
Site web: https://sin.epfl.ch
+41 21 693 52 81
Office:
INR 318
EPFL › IC › IC-SSC › SSC-ENS
Site web: https://ssc.epfl.ch
Prix et distinctions
European Research Council
2012
Publications représentatives
Deciding Boolean Algebra with Presburger Arithmetic
Viktor Kuncak, Hai Huu Nguyen, and Martin Rinard
Published in Journal of Automated Reasoning, 36(3), 2006 in
Modular Pluggable Analyses for Data Structure Consistency
Viktor Kuncak, Patrick Lam, Karen Zee, and Martin Rinard
Published in IEEE Transactions on Software Engineering, 32(12), 2006 in
Relational Analysis of Algebraic Datatypes
Viktor Kuncak and Daniel Jackson
Published in Joint 10th European Software Engineering Conference and 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2005 in
Structural Subtyping of Non-Recursive Types is Decidable
Viktor Kuncak and Martin Rinard
Published in Eighteenth Annual IEEE Symposium on Logic in Computer Science, 2003 in
Role Analysis
Viktor Kuncak and Patrick Lam and Martin Rinard
Published in Proceedings of the 29th Annual ACM Symposium on Principles of Programming Languages, 2002 in
Enseignement et PhD
Doctorant·es actuel·les
Matthieu Bovel, Auguste Poiroux, Sankalp Gambhir, Samuel Chassot, Lazar Milikic
A dirigé les thèses EPFL de
Ruzica Piskac, Philippe Suter, Hossein Hojjat, Eva Darulova, Tihomir Gvero, Etienne Kneuss, Régis William Blanc, Mikaël Mayer, Qiang Wang, Ravichandhran Kandhadai Madhavan, Nicolas Voirol, Manos Koukoutos, Romain Edelmann, Georg Stefan Schmid, Rodrigo Raya, Dragana Milovancevic, Simon Guilloud
A co-dirigé les thèses EPFL de
Cours
Computer language processing
CS-320
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
CS-550
Software construction
CS-214
Apprenez à concevoir et à implémenter des logiciels fiables, maintenables et efficaces à l'aide de techniques variées (style déclaratif, fonctions d'ordre supérieur, types inductifs, parallélisme) et de concepts fondamentaux (réutilisabilité, abstraction, encapsulation, composition, preuves)