Keynote

Xavier Leroy is the principal designer of the OCaml programming language as well as thje CompCert verified compiler of C. Both systems have won multiple awards, among them the ACM SIGPLAN Programming Languages Software Award and the ACM Software Systems Award. Xavier is a professor at Collège de France, where he holds the chair of software sciences, and a member of Académie des sciences.