Algorithmes  Algèbre homotopique  Algèbres implicatives  Assistants de preuve  Automatisation  Axiomatique de Tarski  Axiomes du choix dépendant  Bifibration de Grothendieck  CPS  Cadres logiques  Calcul des séquents  Calcul différentiel  Candidats de réductibilité  Catégorie de modèles  Certificats de preuve  Complétude, Théorème de  Compositionalité  Compositionnalité  Congruence  Conteneurs  Contenu calculatoire de preuves classiques  Coq  Coq  Diagramme  Effets de bord  Evaluation paresseuse  Fibrations  Filtrage  Focalize  Forcing  Formalisation  Génération de code fonctionnel  Génération de preuves  Grammaire catégorielle  Grammaires catégorielles abstraites  Gödel, Théorème de  Homotopie  Incrémentalité  Induction  Isomorphisme de Curry-Howard  Lambda-calcul  Langages de programmation -- Sémantique  Langages de programmation  Linguistique -- Informatique  Logiciels -- Vérification  Logique de seuil  Logique mathématique  Logiques probabilistes  ML  Machine de Krivine  Mathématiques -- Philosophie  Module system  Modèle cubique  Modèles  Modèles mathématiques  Modèles par continuation  Monades  Métaprogrammation  Méthode des aires  Méthodes formelles  Namespace  Normalisation forte  Normalisation par évaluation  Objective Caml  Opérateurs de contrôle délimités  Ordinateurs -- Programmation  Polymorphisme  Probabilités  Programmation fonctionnelle  Relations inductives  Réalisabilité classique  Réflexion  SMT  Simulation d'effets  Spécifications exécutables  Systèmes informatiques -- Mise en oeuvre  Sémantique  Sémantique catégorique  Sémantique dynamique  Sémantique formelle  Thèses et écrits académiques  Théorie de la démonstration  Théorie des types  Théorie des types homotopique  Traduction de programme  Typage  Types dépendants  Vérification formelle  

Hugo Herbelin a rédigé la thèse suivante :


Hugo Herbelin a dirigé les 10 thèses suivantes :

Mathématiques. Logique et fondements de l'informatique
Soutenue le 18-09-2018
Thèse soutenue
Informatique. Informatique fondamentale
Soutenue le 17-11-2017
Thèse soutenue
Informatique
Soutenue en 2015
Thèse soutenue

Informatique
Soutenue en 2013
Thèse soutenue


Hugo Herbelin a été président de jury des 2 thèses suivantes :

Informatique. Informatique théorique
Soutenue le 07-12-2018
Thèse soutenue

Hugo Herbelin a été rapporteur des 2 thèses suivantes :


Hugo Herbelin a été membre de jury des 3 thèses suivantes :