Assia Mahboubi obtained her PhD in Computer Science in 2006 from Nice-Sophia Antipolis University in France under the supervision of Loïc Pottier. She then became a postdoctoral researcher in the Inria Microsoft Research Joint Centre from 2006 to 2007. She was awarded a Von Neumann Fellowship by the Institute for Advanced Study (Princeton, New Jersey), where she was a member in 2012. She is now a research scientist at Inria, France, and is currently a part-time endowed professor in the Department of Mathematics at Vrije Universiteit Amsterdam in the Netherlands. Her research interests revolve around the foundations and formalization of mathematics in type theory and the automated verification of mathematical proofs.
Intérêts de recherche
Type theory, formal proofs, symbolic computation, validated numerics