Past Member

Yves Bertot

Funding provided by the Charles Simonyi Endowment

Affiliation

Mathematics

Field of Study

Computer Science

Home Institution

Inria
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