Past Member
Bruno Barras
Funding provided by the Fund for Mathematics
Affiliation
Mathematics
Field of Study
Theoretical Computer Science
From
–
Bruno Barras is working on the formalization of set-theoretical models of type theory. During his stay at the Institute, he will study the extension of the calculus of inductive constructions with Voevodsky’s univalence axiom.
Dates at IAS
Member
School of Mathematics
–
Fall
Degrees
University of Paris 7
Ph.D.
1999