<pclass="card-text">Thomas used to work as a PhD student between OCamlPRO and ENSTA, with a focus on whole-program static analysis. One of his first objectives is to try to use the whole-program analysis approach to detect uncaught exceptions in OCaml programs. Previously, he obtained a MSc in computer science at the ENS Cachan.</p>