Follow

We are pleased to announce the arrival of Sylvain Conchon in our team! Chief Scientific Officer in Formal Methods at OCamlPro, co-creator of Alt-Ergo and teacher of OCaml language in universities for about 20 years, Sylvain shares thoughts on interactions between industry and research labs, Formal Methods as an Industrial Technique and his vision of the Ocaml language.
Take a read to his interview on our blog: ocamlpro.com/2020/06/05/interv

· · Web · 0 · 1 · 0
Sign in to participate in the conversation
Mastodon

Server run by the main developers of the project 🐘 It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!