Teaching

Regular teaching at ISAE-Supaero and INPT-ENSEEIHT in Toulouse, mainly on formal methods and abstract interpretation.

Student Projects

A team of students implementing a GUI to interface Markov-based probabilistic guidance of swarms into the GAMA platform.