/ About the Royal Society / How we are governed / Committees and working groups Professor Xavier Leroy There is no biography for this person. Awards Royal Society Milner Award in recognition of his exceptional achievements in computer programming which includes the design and implementation of the OCaml programming language