Thomas Espitau is currently a post-doctoral researcher at Rennes University, France and at N.T.T. in Tokyo, Japan. Prior to that, he was a PhD student at Sorbonne University and Rennes University, working under the supervision of Antoine Joux and Pierre-Alain Fouque.
His research interests mostly lie in algorithmic number theory, especially in the theory of reduction of quadratic forms and the geometry of numbers. His latest works focus on the exploitation of generic symplectic structures over number fields to efficiently reduce Humbert forms. He is moreover excited by the study and design of algorithms from lattice-based cryptography and the security evaluation of cryptoygraphical schemes through number theoretical methods. He also likes to spend time thinking of verification of probabilistic programs, through the prism of logic and probabilistic couplings.
- The Quantum Wave in Computing, Spring 2020. Visiting Graduate Student.