Professeur en programme fléché : Mathématiques et informatique fondamentale (MILyon) à Université d'Uppsala (Suède)
- Dates du séjour : 01/09/2017 au 30/06/2018
- Projet de recherche : « Preuves assistées par ordinateur – une approche hiérarchique »
Disciplines
Mots clés
Collection