Past von Neumann Fellow
Assia Mahboubi
Funding provided by the National Science Foundation
Affiliation
Mathematics
Field of Study
Theoretical Computer Science
From
–
Assia Mahboubi is interested in the foundations of mathematics, particularly in type theory. She works on the formalization of mathematics as computer checked libraries using proof assistants.
Dates at IAS
von Neumann Fellow
School of Mathematics
–
Fall
Degrees
Universite de Nice -- Sophia Antipolis
Ph.D.
2006