- At the Telecom Nancy Engineering school, I am coordinator of the module « Design of safe software »,
- In this module, I give a course and supervised practical works on rule-based programming.
- At Lorraine INP: Collegium des écoles d’ingénieurs de l’Université de Lorraine, I give an opening course on the limits of provability in mathematics and of computability in computer science.
