Teaching

I teach the following courses at Ecole CentraleSupélec at the Gif-sur-Yvette campus 

• Object-oriented software engineering

• Formal modelling for concurrent and probabilistic systems

Furthermore I participate in teaching of a module in the M2 master in system and synthetic biology (mSSB) at University of Evry

• module UE6 Formal Verification of Biological Models - Probabilistic Verification in Systems Biology

I participate in teaching of  the course: 

•  "BigData algorithms, techniques and platforms"