Educational activities

Educational activities

Latest teachings

All teaching (1)

2020- 2025: Chimie Minérale 1

Latest supervisions

All supervision (2)

2015: Generation de code pour un many-core avec des contraintes temps reel fortes

2010: Approche formelle pour generer et reduire des cas d'usage securitaires de vehicules autonomes.