HUGOT Vincent
Maître de conférence
LIFO -
Membre de l’équipe SDS (Sécurité des Données et des Systèmes)
Thèmes de recherche
Vérification formelle : applications de la théorie des automates, des transducteurs, et de la réécriture à la sûreté et la sécurité des systèmes.
Domaine d’application de la recherche
- Sûreté et sécurité des systèmes et des données
- Protection de la vie privée
Collaborations significatives
Valeo, Relyens
Disciplines enseignées
- Programmation Python
- Théorie des langages formels
- Vérification formelle
- Compilation