Algorithmes  Algorithmique distribuée  Allocation de registres  Analyse Pire Cas  Analyse de dépendances  Analyse dynamique  Analyse statique  Architecture client-serveur  Assistants de preuve  Assistants de preuves  Automatisation  C  Calculs locaux  Certification  Chemins infaisables  Code source  Coloration de graphe  Compilation  Compilation  Comportement indéfini  Coq  Coq  Datalog  Distribution  Démonstrateur automatique  Encodage  Exécution symbolique  Formalisations mathématiques  Génération aléatoire  Interprétation abstraite  Langage C  Langage flots de données  Langage impératif  Langages de données  Langages de programmation -- Sémantique  Langages de programmation  Langages fonctionnels  Langages formels  Logiciels -- Essais  Logiciels -- Validation  Logiciels -- Vérification  Logiciels  Logiciels critiques  Logique  Logique de séparation  Logique mathématique  Modèle mémoire  Méthodes formelles  Méthodes formelles  Obfuscation  Polymorphisme  Preuve de correction  Preuve de programme  Preuve de programmes  Protection de code  Rétro-ingénierie  Simulateur  Structure de donnée  Sureté des programmes  Synchrone  Système embarqué  Systèmes enfouis  Systèmes informatiques -- Mesures de sûreté -- Examens  Sémantique  Teinte de données  Test  Thèses et écrits académiques  Théorie des calculs locaux  Théorèmes -- Démonstration automatique  Traduction par validation  Vérification de programmes  Vérification deductive  Vérification formelle  

Sandrine Blazy dirige actuellement la thèse suivante :


Sandrine Blazy a dirigé les 5 thèses suivantes :


Sandrine Blazy a été rapporteur des 6 thèses suivantes :

Informatique
Soutenue le 10-07-2013
Thèse soutenue
Informatique
Soutenue le 07-02-2013
Thèse soutenue

Sandrine Blazy a été membre de jury de la thèse suivante :