Abstraction de comportements  Algorithmes  Analyse binaire  Analyse comportementale  Analyse informatique  Analyse statique  Arbres  Architecture Logicielle  Architecture logicielle  Auto-référence  Automates à états finis  Bioinformatique  Calcul de réécriture  Cinétique chimique  Compilation  Comportement  Construction du langage  Contraintes  Diffusion d'information  Détection de codes malveillants  Filtres  Filtres  Graphes, Théorie des  Génération de réseaux  Induction  Informatique  Informatique omniprésente  Interconnexion de réseaux  Langage Dédié  Langage de programmation  Langages de programmation  Langages de programmation orientés objet  Logiciels -- Vérification  Logique  Logique du premier ordre  Logique informatique  Mesures de sûreté  Model checking  Ordinateurs -- Accès -- Contrôle  Planification  Politique de sécurité  Politiques de Sécurité  Programmation logique  Programmes malveillants  Protocoles cryptographiques  Protocoles de réseaux d'ordinateurs  Préservation de la reconnaissabilité,  Recherche de vulnérabilités  Réactions chimiques -- Mécanismes  Réseaux biochimiques  Réseaux de communication  Réseaux sociaux  Réécriture  Réécriture de graphes  Réécriture de mots  Réécriture de termes  Réécriture de termes,  Réécriture, Systèmes de  Stratégies  Stratégies de réécriture  Systèmes autonomes  Systèmes de calcul  Systèmes experts  Systèmes informatiques -- Mesures de sûreté  Systèmes informatiques  Systéme ubiquitaire  Terminaison  Théorie de la démonstration  Théorèmes -- Démonstration automatique  Types abstraits de données  Virus informatiques  Visualisation de réseaux  Vérification formelle  

Hélène Kirchner a dirigé les 13 thèses suivantes :


Hélène Kirchner a été président de jury des 3 thèses suivantes :


Hélène Kirchner a été rapporteur de la thèse suivante :


Hélène Kirchner a été membre de jury de la thèse suivante :