Name: Coder Stories // Talk with Xavier Leroy, Main developer of OCaml
Start: 2020-03-11T19:00:00+01:00
End: 2020-03-11T21:00:00+01:00
Location: Welcome to the Jungle

Coder Stories // Talk with Xavier Leroy, Main developer of OCaml

Welcome to the Jungle est le média qui permet à chacun de s’orienter dans la jungle de l’emploi, en aidant les candidats à trouver l’entreprise qui leur correspond vraiment, et les entreprises les candidats qu’ils attendent. À travers son site, ses contenus originaux, ses magazines papiers et ses événements, Welcome to the Jungle veut accompagner une nouvelle relation au travail, fondée sur la découverte, l’immersion et le prisme humain.

Welcome to the Jungle

We are very sorry to announce that next Wednesday's Coder Stories event is cancelled, following instructions from the French government to cancel events in France due to the COVID-19 outbreak. Our priority is to ensure the safety of all our attendees, speakers and staff.
At the beginning of 2019, Welcome to the Jungle launched Behind the Code, a media platform created for developers. Through this, we launched Coder Stories—tech talks that bring you even more content.
Taking place every four months, these events feature different personalities from the tech world, who share details of their career milestones, technologies, and projects. Our second guest will be Xavier Leroy, the architect and lead developer of the functional programming language OCaml and of the formally-verified C compiler CompCert.
About Xavier Leroy
The architect and lead developer of OCaml and CompCert, Xavier Leroy is currently a professor in software sciences at the Collège de France, Paris, as well as a member of the Cambium research team at Inria, the French Institute for Research in Computer Science and Automation.
During this event, he will be talking about his career as a computer scientist, his involvement in the creation of OCaml and CompCert, and his research on the formal verification of software systems using program proof and static analysis—in particular, for the critical embedded softwares used on airplanes. The interview will be in English!
 These talks are aimed at CTOs and lead developers. If you are a recruiter, please subscribe to  <A HREF="https://recruiters.welcometothejungle.com/articles/le-shaker-by-welcome-to-the-jungle-devient-une-exclusivite-clients-%ef%bb%bf/" TARGET="_blank" DATA-MSYS-CLICKTRACK="0" REL="nofollow noopener noreferrer">the Shaker by Welcome to the Jungle</A> instead.

Coder Stories // Talk with Xavier Leroy, Main developer of OCaml

Plus d'événements de Welcome to the Jungle

Suivez les organisateurs pour obtenir des événements sélectionnés pour vous

Coder Stories // Talk with Xavier Leroy, Main developer of OCaml

Plus d'événements de Welcome to the Jungle

Suivez les organisateurs pour obtenir des événements sélectionnés pour vous

Vous pourriez aussi aimer...

Parcourez d'autres événements avec différentes dates, prix et formats pour trouver votre prochaine expérience.