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
- Main publications as lead author: OOPSLA'19 (A*), ICSE'18 (A*), ICST'17a (A), ICST'17b (A), SCP 2015 (A), CSTVA'14, SCAM'13 (C), DBTest'12, GECCO'11 (A)
- Funding: ERCIM postdoc fellowship, FNRS Ph.D. fellowship, Erasmus research traineeship
- Review committees: PLDI'19 (ERC member), ECOOP'19 (AEC member)
- Reviews: TOSEM (2x), IST, STVR, TAP'18, iFM'18, SAC'17, IST, LOPSTR'14, TCL
- Empirical study of the practical impact of miscompilation bugs in Clang/LLVM
- LTest tool for unified test generation based on program analysis, part of the Frama-C platform
- Symbolic execution of Java methods with embedded SQL statements
- Teaching assistant at Imperial College London (English, 48h) and Université de Namur (French, 500h)
- Author of a teaching textbook about programming languages and compiler design
Have a look at my full CV.