Past Member
Yves Bertot
Funding provided by the Charles Simonyi Endowment
Affiliation
Mathematics
Field of Study
Computer Science
From
–
Yves Bertot works on programming languages, foundations, type theory, and formalized mathematics. He concentrates on the calculus of constructions as implemented in the Coq system and studies its expressive power, especially concerning real numbers, geometry, and the termination of algorithms.
Dates at IAS
Member
School of Mathematics
–
Spring
Degrees
University of Nice Sophia Antipolis
Ph.D.
1991