Cours enseignés

Cours enseignés actuellement

• Vérification et validation à base d'automates
• Théorie des langages formels
• Spécification, vérification et validation
• Sécurité et composants
• Analyse syntaxique

Cours enseignés par le passé

• Modélisation et évaluation de systèmes informatiques
• Spécification et vérification de systèmes critiques
• Automates finis et infinis
• Algèbres de processus et applications
• Sécurité de systèmes d'information et protocoles de communication
• Logiques et déductions
• Modélisation discrète pour l'informatique
• Bases de données
• Méthodes et outils pour l'intelligence artificielle