L’équipe OCamlPro

OCamlPro est une entreprise française créée en 2011 implantée à Paris, près de l’arrêt Alésia. Si vous souhaitez rejoindre notre équipe, consultez nos offres ou faites de candidatures spontanées en envoyant votre CV et une description de certaines de vos réalisations à : contact@ocalmpro.com


Une équipe hautement qualifiée pour travailler avec vous :

Muriel Shan Sei Fan (President)

Muriel est une fan inconditionnelle d’OCamlPro et elle a décidé de consacrer son temps à l’équipe et au développement d’OCamlPro, aux côtés de Fabrice Le Fessant, fondateur et conseiller scientifique d’OCamlPro.

Sylvain Conchon (CSO Formal Methods)

Sylvain est professeur à l’Université Paris-Saclay, il enseigne également l’OCaml dans les universités depuis une vingtaine d’années. Son domaine d’expertise est la déduction automatisée pour la vérification de programmes et la vérification de modèles de systèmes paramétrés. Il est également le co-créateur d’Alt-Ergo, notre Solveur SMT dédié à la vérification de programme utilisé notamment par Airbus et qualifié pour le standard avionique DO-178C, de Cubicle et la très utile bibliothèque OCamlgraph. Lisez son interview !

Pierre Chambart (CTO and Senior R&D Engineer)

Pierre est titulaire d’un doctorat en informatique, obtenu au laboratoire de spécification et de vérification de l’ENS Cachan. Après son doctorat, il a passé 12 mois en tant qu’ingénieur travaillant sur le framework Web Ocsigen au sein d’IRILL à Paris. Il a finalement rejoint OCamlPro en août 2012.

Louis Gesbert (Senior R&D Engineer & Deputy CTO)

Louis est titulaire d’un doctorat de l’Université Paris Est et a étudié à EnsIIE, à l’Université de Manchester et à l’Université de Tokyo. Il a une solide expérience des langages de programmation et de la distribution, et a été l’un des architectes derrière le langage Opa développé chez MLstate. Il a rejoint OCamlPro en novembre 2012 et est le développeur principal d’OPAM. Il a travaillé sur la plateforme learn-ocaml et travaille de temps à autre avec l’équipe flambda d’OCamlPro.

Vincent Laviron (Senior R&D Engineer & Deputy CTO)

Vincent est titulaire d’un MSc de l’ENS Ulm, axé sur l’analyse statique par interprétation abstraite. Il a ensuite passé plusieurs années à travailler sur l’analyse statique des langages fonctionnels, avant de rejoindre OCamlPro en juin 2015 pour travailler sur SecurOCaml.

Thomas Blanc (R&D Engineer)

Thomas a travaillé comme doctorant entre l’OCamlPRO et l’ENSTA, avec un focus sur l’analyse statique de l’ensemble du programme. L’un de ses premiers objectifs est d’essayer d’utiliser l’approche d’analyse globale du programme pour détecter les exceptions non interceptées dans les programmes OCaml. Auparavant, il a obtenu un MSc en informatique à l’ENS Cachan.

Steven De Oliveira (R&D Engineer)

Steven est titulaire d’un doctorat en vérification formelle de l’Université Paris-Saclay et du Commissariat à l’Énergie Atomique (CEA) depuis 2018. Après un Master en Cryptographie, il a travaillé dans l’équipe Frama-C, développant des outils open-source de vérification des programmes C. Il a également été impliqué dans des projets de vulgarisation scientifique comme MT180 et InfoSansOrdi.

Raja Boujbel (Senior R&D Engineer)

Raja est titulaire d’un doctorat en déploiement de logiciels et en systèmes multi-agents de l’Université de Toulouse. Auparavant, elle avait étudié la programmation fonctionnelle et la conception de compilateurs à l’Université Pierre et Marie Curie, puis a travaillé sur le langage Opa au sein de l’équipe de distribution de MLstate. Elle a rejoint OCamlPro en mars 2018 en tant que responsable de la maintenance pour opam, un gestionnaire de paquets open-source pour OCaml.

Guillaume Bury (R&D Engineer)

Guillaume est titulaire d’un Master de recherche en informatique de l’Ecole Normale Supérieure de Paris, France, et a étudié l’intégration des techniques de réécriture pour les solveurs SMT lors de son doctorat obtenu sous la direction de Gilles Dowek et David Delahaye en Deducteam à l’ENS Cachan. Il a rejoint OCamlPro en octobre 2018 et travaille dans l’équipe Flambda, sur des passes d’optimisation pour le compilateur OCaml.

David Declerck (R&D Engineer)

David est un nouvel ingénieur R&D chez OCamlPro. Il a obtenu un doctorat de l’Université Paris-Sud en 2018, au cours duquel il a étendu le vérificateur de modèle Cubicle pour prendre en charge les modèles de mémoire faible et a écrit un compilateur à partir d’un sous-ensemble du langage d’assemblage x86 vers Cubicle.

Adrien Champion (Senior R&D Engineer)

Adrien s’intéresse aux méthodes formelles de vérification des propriétés de sécurité sur les logiciels et les systèmes embarqués. Il a travaillé sur la vérification des programmes fonctionnels d’ordre supérieur à l’Université de Tokyo, dans le laboratoire de Kobayashi, et a travaillé sur un outil d’inférence de prédicat pour les clauses de corne appelé hoice, écrit en Rust. Avant cela, il travaillait à l’Université de l’Iowa sur le vérificateur de modèles Kind 2 avec Christoph Sticksel et Alain Mebsout.

Albin Coquereau (R&D Engineer)

Albin est un ingénieur R&D travaillant sur Alt-Ergo. Il est titulaire d’un doctorat en vérification formelle de l’Université Paris-Saclay, au cours duquel il s’est concentré sur l’amélioration des performances du solveur SMT Alt-Ergo. Il a également participé à l’ajout d’un support pour le standard SMT-LIB dans Alt-Ergo lui permettant de participer au SMTCOMP.

Mattias (R&D Engineer)

Mattias est un ingénieur R&D travaillant sur les méthodes formelles (Alt-Ergo). Il est titulaire d’un doctorat en vérification formelle de l’Université Paris-Saclay, au cours duquel il s’est concentré sur l’amélioration de Cubicle, un vérificateur de modèle paramétré, en ajoutant un nouvel algorithme d’accessibilité, générant un meilleur invariant et traitant de nouveaux problèmes qui nécessitent la possibilité de raisonner sur quantifié universellement. formules. Ses principaux intérêts concernent les méthodes formelles et la formation ainsi que l’apprentissage et l’utilisation de nouvelles langues (Rust).

Laurène Gibaud (Assistant Director)

Laurène a rejoint l’équipe en 2019 pour aider sur les fonctions support. Elle est titulaire d’un diplôme technique en science du Web et des réseaux et d’une maîtrise en politiques de publication. Elle a travaillé en tant qu’éditeur et chef de projet pendant 5 ans sur des publications liées à l’informatique et la programmation et a revu plus d’un millier de cours.

Maxime Vilain (Product Designer)

Maxime a rejoint l’équipe en 2020 pour contribuer aux fonctions support et optimiser la communication externe de l’organisation. Il est titulaire d’un diplôme en communication et d’un Master en management de l’innovation. Auparavant, il a travaillé pendant trois ans en tant que chargé de communication et d’expérience utilisateur d’une startup SaaS et pendant 8 mois en tant que product-owner pour la réalisation d’un jeu-vidéo pédagogique.

Léo Andrès

Léo est titulaire d’un master de l’université Paris-Saclay, axé sur les fondements de l’informatique et du génie logiciel. Il a rejoint OCamlPro en mars 2020 pour un stage d’étude des formes canoniques et de la détection de la duplication de code dans un langage mini-ML. Il est maintenant doctorant à OCamlPro et travaille sur le futur ramasse-miettes (GC) de WebAssembly.

Aurore Drombry (Communication Manager)

Aurore a rejoint l’équipe en 2019 pour contribuer aux fonctions support et optimiser la communication interne dans l’organisation. Elle est titulaire d’un diplôme en sciences humaines et d’un Master en techniques de communication et marketing numérique. Auparavant, elle a travaillé pendant deux ans en tant que chef de projet et chargée de communication sur des projets numériques.