Algèbre homologique  Algèbres de Koszul  Alias de pointeurs  Analyse de vulnérabilités  Arbres  Arbres  Automates d'arbres  Bases de Gröbner non commutatives  Bisimulation applicative  Catégories infinies  Certificat  Chiffrement  Code d'octet [bytecode]  Code fantôme  Code source  Codes malveillants  Commutation, Théorie de la  Computations probabilistes d'ordre supérieur  Cryptographie  Database Driven Systems  Distances entre programmes  Débogage  Désobfuscation  Détection d'intrusion  Espaces cohérents probabilistes  Exécution Symbolique  Gröbner, Bases de  Homologie  Homotopie  Informatique  Interconnexion de réseaux  Lambda-calcul  Langage de programmation  Langages de programmation -- Sémantique  Langages formels  Langages temporels  Logiciels -- Vérification  Logique  Logique mathématique  Machine virtuelle Java [JVM]  Machines séquentielles, Théorie des  Mesures de sûreté  Modèle mémoire  Méthodes formelles  Méthodes formelles  Opérateurs de réduction  Parallélisme  Permissions  Politiques de sécurité  Preuve électronique  Procédures de décision  Programmation impérative  Programmation par contraintes  Proof-Carrying Code [PCC]  Protection de l'information  Protocoles cryptographiques  Protocoles de réseaux d'ordinateurs  Raffinement de données  Régions  Réseaux de communication  Rétro-Ingénierie  Rétro-ingénierie  Signatures électroniques  Structures de données  Structures de données informatiques  Système de types  Systèmes concurrents  Systèmes informatiques -- Mesures de sûreté  Systèmes virtuels  Sécurité  Séparation  Sûreté de typage  Sûreté et sécurité  Théeorie des topos  Théorie des machines séquentielles  Théorie des types  Topologie  Topologie algébrique  Topologie algébrique dirigée  Treillis, Théorie des  Typage  Virtualisation  Vote électronique  Vraie concurrence  Vérification de types  Vérification déductive  Vérification déductive des programmes  Vérification formelle  Vérification légère  Why3  Wqo  Équations, Théorie des  

Jean Goubault-larrecq dirige actuellement les 2 thèses suivantes :

Informatique, données, IA
En préparation depuis le 01-09-2020
Thèse en préparation

Informatique
En préparation depuis le 01-09-2019
Thèse en préparation


Jean Goubault-larrecq a dirigé les 10 thèses suivantes :


Jean Goubault-larrecq a été président de jury des 4 thèses suivantes :


Jean Goubault-larrecq a été rapporteur de la thèse suivante :


Jean Goubault-larrecq a été membre de jury de la thèse suivante :