Position
Currently
Maître de conférences at the Institut Camille Jordan of Université Claude Bernard Lyon I, since September 2000.
Before
Associate Professor at Tokyo Institute of Technology, from February 2010 to March 2012.
Even before
Postdoctoral fellow (1998–2000) in the department of Computer Science at Concordia University (Montréal).
Research
Domain
Explicit and computational aspects of algebraic number theory. Formalization of proofs.
Keywords
Stark's conjectures, Galois module structures, \(p\)-adic \(L\)-functions. Software Lean, library Mathlib.
Resources
List of publications, list of selected talks, various tables. Formalization activities.
Some links
Publications
MathSciNet, arXiv (number theory).
Organizations
Number Theory Web, AMS, SMAI-SMF.
Resources
MathWorld, J. S. Milne notes, Constants.