↓Skip to main content

Courses

I teach the following courses:

Automates et Théorie des Langages (cours 2SN - BML - ENSEEIHT)
Introduction to Model-Checking: Theory and Practice (Beihang University)