Liens transverses ENS de Lyon

Actualité de l'ENS de Lyon

Warwick TUCKER - Collegium de Lyon

Tucker Warwick
Actualité / Portrait

Résumé

Professeur en programme fléché : Mathématiques et informatique fondamentale (MILyon) à Université d'Uppsala (Suède)

Description
  • Dates du séjour : 01/09/2017 au 30/06/2018
  • Projet de recherche :  « Preuves assistées par ordinateur – une approche hiérarchique »
Collection
Disciplines
Mots clés