In September 2020, Michaël has left Imperial College London to become a tenured researcher at the CEA LIST institute from Université Paris-Saclay (France).

From 2018 to 2020, Michaël has been a postdoc in the Software Reliability Group (SRG) and Multicore Programming Group. During his time at Imperial, he has experimentally evaluated the practical importance of compiler bugs found by fuzzing, as well as the interest of using coverage-directed fuzzing to find bugs in compilers.

Up-to-date information about Michaël can be found at

Group Publications