Related Articles

Articles tagged by sylvain

Home

Categories

[Interview] Sylvain Conchon joins OCamlPro

Authors: Aurore Dombry
Date: 2020-06-05
Category: OCamlPro
Tags: formal methods, interview, sylvain, conchon

On April 2020, Sylvain Conchon joined the OCamlPro team as our Chief Scientific Officer on Formal Methods. Sylvain is a professor at University Paris-Saclay, he has also been teaching OCaml in universities for about 20 years. He is the co-author of Apprendre à programmer avec OCaml with Jean-Christ... (Read more)

[Interview] Sylvain Conchon rejoint OCamlPro

Authors: Aurore Dombry
Date: 2020-06-05
Category: OCamlPro
Tags: formal methods, interview, sylvain, conchon, fr

Sylvain Conchon vient de rejoindre OCamlPro en tant que Chief Scientific Officer Méthodes Formelles. Professeur à l’Université Paris-Saclay, il travaille dans le domaine de la démonstration automatique pour la preuve de programmes et le model checking pour systèmes paramétrés. Il est aussi ... (Read more)