Florian Angeletti

2026

OCaml,an open-source progamming language born at Inria,

F. Angeletti, Demi-heure de science,Inria Paris, Paris, (2026),

Abstract

OCaml is a generalist programming language that has been used to develop many kind of softwares (compilers,web servers,an operating system,kernel drivers,game(s)),even if its specialty lays historically in the writing of other compilers or software analysis tools. OCaml is also a functional programming language with an advanced type system,which has been a source of experimentation and inspiration for research in the theory of programming language; with new features,like objects or effect handlers,added incrementally over the years. But OCaml is also an open-source language that accrued contributions for more than four hundred contributors during his history expanding far beyond the wall of Inria. This is visible with its core team of 25 developpers evenly split across academia and industry. In this talk,we wish to present a short history of OCaml as a software created at Inria,its community of users,and its influence on both research and industry.

2023

OCaml 5 et les effets algébriques,

F. Angeletti, Inria Paris, (2023),

2015

Extreme events theory,

F. Angeletti, Postdoc research day, Stellenbosch, (2015),

Abstract

Extreme value theory is a branch of probability theory concerned with extremeevents: events that are very infrequent but can still have major impact on the system at hand. Sportive world records,floods,stock-market crash,species extinction are all examples of these extreme events. Many of these events are exceptional,rule-breaking and thus unpredictable. However,outside of these exceptional scenarii,extreme events follow regular mathematical patterns. These patterns can be used to collect some statistical information on future extreme events by observing carefully ordinary events. Welcome to this session of pattern hunting!

2014

Statistical Physics: A journey through randomness,

F. Angeletti, Postdoc research day, Stellenbosch, (2014),

Abstract

Have you ever wondered why the world is so unsurprising? At every moment of our life,we are surrounded by earth atmosphere: billions of billions of molecules moving twice as fast as a formula one car. Even if these molecules are really small,their combined energy in a 50m3 room is comparable to the energy released by the detonation of 20 kilograms of TNT. Nevertheless,spontaneous atmospheric explosions does not happen... But why? With billions of billions of particles,writing an equation for every molecule is quite inconvenient. Even if we were able to solve these equations,how could we understand these solutions? The solution of statistical physics is to forget irrelevant details. Starting from simple principles and focusing on meaningful quantities,it is sometimes possible to obtain insightful descriptions of large physical systems. However,finding the right simple principles is an arduous and ongoing task. In this talk,I would present some core ideas of statistical physics and their (un)practical application to everyday life problems : - How common is spontaneous atmospheric asphyxia? - Why should you never fly or time travel when you are lost?