I'm researcher and teaching assistant in the Formal Methods and Verification Group of the Computer Science Department at the Université Libre de Bruxelles. My research is centered in the field of development and formal validation of distributed systems. I obtained my Master's degree in 2002, and my PhD in 2008. I am currently working in the team of Prof. Thierry Massart. You can find a list of my publications here.
For more information, you can take a look at my curriculum vitae
[
] (in french)