Acteurs  Algorithmes  Algèbre linéaire  Analyse  Analyse de corrélations  Analyse de dépendances  Analyse de flot de contrôle multivariante  Analyse de pointeurs  Analyse de tâches  Analyse statique  Applications mobiles  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é  Détection de comportement  Flot de données  Framework  Fuite d'information  GPU  Gestion mémoire  Graphe d'appels  Générateurs de nombres aléatoires  Générateurs de nombres pseudo-Aléatoires  Hyperviseur  Idéaux  Interprétation abstraite  Invariants  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  Problème du frame  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  Smartphone  Smartphones  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  Vérification déductive  Vérification formelle de logiciels  Équivalence  

Thomas Jensen a dirigé les 21 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é rapporteur des 2 thèses suivantes :


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