Sylvain Conchon joined OCamlPro’s team as Formal Methods CSO. He created Alt-Ergo and has been teaching OCaml in universities for about 20 years. He shares thoughts on interactions between industry and research labs, and his vision of Formal methods and OCaml as language for the industry. Read his interview on our blog: https://www.ocamlpro.com/2020/06/05/interview-sylvain-conchon-cso-on-formal-methods/
4 Likes