Xavier Leroy
| Use attributes for filter ! | |
| Gender | Male |
|---|---|
| Age | 56 |
| Date of birth | March 15,1968 |
| Zodiac sign | Pisces |
| H index | 51 |
| Field | Computer Science |
| Books | Proceedings of the 2015 Conference on Certified Programs and Proofs |
| Education | Paris Diderot University |
| Date of Reg. | |
| Date of Upd. | |
| ID | 1382779 |
Xavier Leroy Life story
Xavier Leroy is a French computer scientist and programmer. He is best known for his role as a primary developer of the OCaml system. He is Professor of software science at Collège de France.
