Olstar.fr

Découvrez le parcours fascinant d'un informaticien français de renom, qui occupe actuellement un poste de professeur au prestigieux Collège de France. Ancien directeur de recherche à l'INRIA, il a marqué le monde de l'informatique par ses contributions majeures. Il est notamment reconnu comme le principal architecte du langage Objective Caml, tout en ayant également réalisé des avancées significatives avec le compilateur formellement vérifié CompCert. Son expertise et sa passion pour la recherche en font une figure incontournable dans son domaine.

Partager cette page