Cours enseignés

Cours enseignés actuellement

  • Modélisation et évaluation de systèmes informatiques
  • Théorie des langages formels
  • Spécification, vérification et validation
  • Sécurité et composants
  • Analyse syntaxique

Cours enseignés par le passé

  • 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