Passer au contenu principal

Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Recherche

Afficher tous les résultats pour

Accueil

Personne

Viktor Kuncak

À propos
Confidentialité
Mentions légales

Copyright © 2026 EPFL, tous droits réservés

Graph Chatbot

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 Giuliano Losa, Milos Nikolic 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 Mathematics with Lean and AI CS-643 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)

Source officielle

https://people.epfl.ch/viktor.kuncak?lang=en?lang=fr

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

MOOCs enseignés par cette personne (1)

Programmation parallèle

Cours enseignés par cette personne (3)

CS-214: Software construction

Learn how to design and implement reliable, maintainable, and efficient software using a mix of programming skills (declarative style, higher-order functions, inductive types, parallelism) and fundamental software construction concepts (reusability, abstr ...

CS-320: Computer language processing

We teach the fundamental aspects of analyzing and interpreting computer languages, including the techniques to build compilers. You will build a working compiler from an elegant functional language into machine code using a popular backend called LLVM (htt ...

CS-550: Formal verification

We introduce formal verification as an approach for developing highly reliable systems. Formal verification finds proofs that computer systems work under all relevant scenarios. We will learn how to use formal verification tools and explain the theory and ...

Publications associées (81)

Veuillez noter qu'il ne s'agit pas d'une liste complète des publications de cette personne. Elle inclut uniquement les travaux sémantiquement pertinents. Pour une liste complète, veuillez consulter Infoscience.

Proactive Synthesis of Recursive Tree-to-String Functions from Examples

Viktor Kuncak, Mikaël Mayer, Jad Hamza

Synthesis from examples enables non-expert users to generate programs by specifying examples of their behavior. A domain-specific form of such synthesis has been recently deployed in a widely used spreadsheet software product. In this paper we contribute t ...

2017

Orthologic with Axioms

Viktor Kuncak, Simon Guilloud

We study the proof theory and algorithms for orthologic, a logical system based on ortholattices, which have shown practical relevance in simplification and normalization of verification conditions. Ortholattices weaken Boolean algebras while having polyno ...

Association for Computing Machinery2024

Contract-Based Resource Verification for Higher-Order Functions with Memoization

Viktor Kuncak, Ravichandhran Kandhadai Madhavan

We present a new approach for specifying and verifying resource utilization of higher-order functional programs that use lazy evaluation and memoization. In our approach, users can specify the desired resource bound as templates with numerical holes e.g. a ...

Assoc Computing Machinery2017