Educational activities

Educational activities

Latest teachings

All teaching (6)

2020- 2025: Géodynamique externe

2020- 2025: Métrologie et instrumentation

2020- 2025: Matière Première Minérale

2020- 2025: Système d'information géographique

2020- 2025: Opérations minières à ciel ouvert

Latest supervisions

All supervision (1)

2015: Un systeme de types pragmatique pour la verification deductive des programmes