I am a researcher and teacher in computer science. I work to improve the reliability and security of computer applications.
Short Academic Bio
- 2018-now: Research Associate at Imperial College London (UK) - Automatically detecting and surviving compiler bugs
- 2015-2017: Researcher at CEA List Paris (Fr) - A unified test automation platform based on program analysis
- 2014-2015: ERCIM postdoctoral fellow at INRIA Paris (Fr) - Advanced test and verification of data-intensive code
- 2010-2014: FNRS doctoral fellow at Université de Namur (Be) - Automatic test generation for data-intensive code
- 2009: Erasmus fellow at Universidad Pablo de Olavide of Seville (Sp) - Machine learning for biological big data mining
- 2002-2010: Masters of Phyics and Computer Science (both with Highest Distinction) at Université de Namur (Be)
Main Academic Achievements
- Top 6 Research Papers: OOPSLA'19 (A*, cond), ICSE'18 (A*), ICST'17a (A), ICST'17b (A), SCP 2015 (A), GECCO'11 (A)
- Grants: ERCIM postdoc fellowship, FNRS Ph.D. fellowship, Erasmus research traineeship
- Review Committees: PLDI'19 (ERC member), ECOOP'19 (AEC member)
- Reviews: TOSEM (2x), STVR, TAP'18, iFM'18, SAC'17, IST, LOPSTR'14, TCL
- Development of the LTest open-source tool, part of the Frama-C platform
- Teaching Assistant at Imperial College London (English, 40h) and Université de Namur (French, 500h)
- Author of a teaching textbook about programming languages and compiler design
Have a look at my full CV.