À la une

[Interview] Sylvain Conchon rejoint OCamlPro

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 le co-créateur d’Alt-Ergo. Recherche et industrie Sylvain, tu fréquentes de longue date le [Interview] Sylvain Conchon rejoint OCamlPro