Acteurs  Algèbre linéaire  Analyse de pointeurs  Analyse statique  Automates mathématiques, Théorie des  Bisimulation  Cache  Canal auxiliaire  Canal caché  Cartes à mémoire  Certification  Certification de résultat  Compilation  Compilation certifiée  Concurrence  Contraintes  Coq  Coût-efficacité  Cryptographie  Cryptographie à clé publique  Décidabilité  Décidabilité  Fuite d'information  GPU  Gestion mémoire  Générateurs de nombres aléatoires  Générateurs de nombres pseudo-Aléatoires  Hyperviseur  Idéaux  Interprétation abstraite  Isolation  Java  JavaScript  JavaScript  Langages de programmation -- Sémantique  Langages de programmation  Langages formels  Logiciels -- Essais  Logiciels -- Validation  Logiciels -- Vérification  Logiciels  Logique de séparation  Logique du premier ordre -- Logiciels  Logique informatique  Logique temporelle  Modele de programmation  Must-alias  Mémoire  Méthodes formelles  Ownership  Passage de messages  Polyèdres  Preuve formelle  Processeur  Processeurs à hautes performances  Programmation dynamique  Programmation par contraintes  Prolog  Propriétés numérique  Protection de l'information  Protocoles  Protocoles de réseaux d'ordinateurs  Protocoles de sécurité  Représentations intermédiaires  Réécriture, Systèmes de  Satisfiabilité Modulo Théorie  Semi-anneaux  Signature électronique  Signatures électroniques  Systèmes de sécurité  Systèmes informatiques -- Mesures de sûreté  Systèmes informatiques  Systèmes virtuels  Sécurité  Sécurité des protocoles cryptographiques  Sécurité des systèmes  Sécurité informatique  Sémantique  Sémantique formelle  Thèses et écrits académiques  Théorèmes -- Démonstration automatique  Vie privée  Virtualisation  Vérification  Équivalence  

Thomas Jensen a dirigé les 20 thèses suivantes :

Informatique
Soutenue le 25-11-2016
Thèse soutenue

Informatique
Soutenue en 2008
Thèse soutenue
Informatique
Soutenue en 2008
Thèse soutenue


Thomas Jensen a été président de jury des 3 thèses suivantes :


Thomas Jensen a été membre de jury des 2 thèses suivantes :