Poste
En ce moment Maître de conférences à l'Institut Camille Jordan de l'Université Claude Bernard Lyon I, depuis septembre 2000.
Avant Associate Professor à Tokyo Institute of Technology de février 2010 à mars 2012.
Encore avant Postdoc (1998-2000) au département de Computer Science à Concordia University (Montréal).
Recherches
Domaine Aspects explicites et algorithmiques de la théorie algébrique des nombres. Formalisation de preuves.
Mots-clés Conjectures de Stark, structures galoisiennes, fonctions \(L\) \(p\)-adiques. Logiciel Lean, librairie Mathlib.
Ressources Liste de publications, liste d'exposés, quelques tables. Page de formalisation.
Quelques liens
Publications MathSciNet, arXiv (théorie des nombres).
Organisations Number Theory Web, AMS, SMAI-SMF.
Ressources MathWorld, J. S. Milne notes, Constantes.