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  Bisimulation applicative  Certificat  Chiffrement  Coalgèbre  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  Distributivité  Débogage  Désobfuscation  Détection d'intrusion  Espace compact Hausdorff  Espaces cohérents probabilistes  Exécution Symbolique  Gröbner, Bases de  Hausdorff, Compactifications de  Homologie  Homotopie  Informatique  Interconnexion de réseaux  Lambda-calcul  Langage de programmation  Langages de programmation -- Sémantique  Langages de programmation fonctionnelle  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  Monade  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 informatiques -- Mesures de sûreté  Systèmes virtuels  Sécurité  Séparation  Sûreté de typage  Sûreté et sécurité  Théorie des catégories  Théorie des machines séquentielles  Théorie des types  Topologie  Topologie algébrique  Topologie algébrique dirigée  Topos  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 la thèse suivante :

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 5 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 :