Yves Bertot

Author

	Use attributes for filter !
Gender	Male
Date of Reg.	2021-12-21 20:28:09
Date of Upd.	2022-03-25 03:58:47
ID	3209120

Send edit request

Yves Bertot Life story

Yves Bertot is a senior researcher, specialized in type theory proofs, successively studying the properties of programming languages, algorithmic geometry, mathematical computations and the interactions between formal proof and algebraic formal computation.