Past Member

Bruno Barras

Funding provided by the Fund for Mathematics

Affiliation

Mathematics

Field of Study

Theoretical Computer Science

Home Institution

INRIA Saclay
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