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 the computer science part (mainly computer security). I participate to several courses in this Master, a course in Programming (Master1), a course in Software Security (Master1), a course in OS security (Master2) and a course in Software Verification (Master2).