Teaching
- From 2008/2009 to 2013/2014 I was co-teaching the Swarm Robotics section of the Swarm Intelligence class (INFO-H-414): course website
- From 2009/2010 to 2012/2013 I was responsible for a number of projects related to the class PROJ-H-402
Supervision of Master's Theses
Past theses
- Mikael Lenaertz, Formal Verification of Flexibility in Swarm Robotics. As co-supervisor with Mauro Birattari. PDF