Activités pédagogiques

Activités pédagogiques

Derniers enseignements

Tous les enseignements (1)

2020- 2025: Chimie Minérale 1

Derniers encadrements

Tous les encadrements (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.