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