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
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, Samuel Chassot, Sankalp Gambhir, Lazar Milikic, Auguste Poiroux
A dirigé les thèses EPFL de
Régis William Blanc (2017), Eva Darulova (2014), Romain Edelmann (2021), Simon Guilloud (2026), Tihomir Gvero (2015), Hossein Hojjat (2013), Ravichandhran Kandhadai Madhavan (2017), Etienne Kneuss (2016), Manos Koukoutos (2019), Mikaël Mayer (2017), Dragana Milovancevic (2025), Ruzica Piskac (2011), Rodrigo Raya (2023), Georg Stefan Schmid (2022), Philippe Suter (2012), Nicolas Voirol (2019), Qiang Wang (2017)
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
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
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)