Creator of OCaml: Functional Programming, Formal Verification, Programming Languages | Xavier Leroy

Professor Leroy (Creator of OCaml) is incredibly knowledgeable.