Pôle Modèles
Le pôle regroupe quatre thématiques :
- Systèmes concurrents et distribués
- Model-checking et synthèse
- Modélisation formelle des systèmes critiques
- Test Formel et Monitoring
Members
Faculty
Safouan Taha
Emeriti
Postdocs and Engineers
Thomas Chevet
Adrien Durier
PhD Students
Benoit Ballenghien
Fabricio Cravo
Souhila Founas
Baptiste Gueuziec
Alexandrina Korneva
Nicolas Meric
Thomas Soullard
Olivier Stietel
Isa Vialard
Zhuofan Xu