From 2001 to 2005, I have been post-doc (one year) and, then, assistant professor at Aalborg University (Denmark) in the CISS lab in the team of Kim G. Larsen. I defended my Ph.D. in 2002 at the LSV in ENS Cachan (France) under the supervision of Antoine Petit.
My main topic in research is 'Models and Software Verification'. Before 2006, I mainly focused on the 'Timed Automata' model, introduced by Alur and Dill and automated verification of model.
Since 2007, I work on verification of software and more precisely on 'Binary Program Analysis and Verification' and on 'Software Security', from , both, a practical and theoritical point of view. I did (and do) take part to many projects about these topics (ANR Bincoa, FUI MARSHAL+, ...).
I second Gilles Zémor at the head of the Master of Cryptology & Computer Security at University of Bordeaux. Gilles Zémor is the in charge of the mathematics part (cryptology) and I am in charge for computer science part (computer security). I give two courses in this Master, a course in Programming (Master1) and a course in Software Security (Master2).
I am also seconding Jean-Paul Cerri at the head of Licence of Mathematics and Computer Science (Bachelor of Mathematics and Computer Science) at University of Bordeaux. Jean-Paul Cerri is in charge of the mathematics part and I am in charge of the computer science part.