I am Associate Professor (with french HDR) at ENSEIRB-MATMECA french engineering school (Bordeaux, France), member of the computer science department. I am researcher at LaBRI, the computer science laboratory of the University of Bordeaux, member of the Formal Methods team. I obtained a PhD in computer science in 2004 at the University of Reims, France, and an HDR (french habilitation to supervise PhDs) in 2018 at the University of Bordeaux. I obtained an Engineer diploma in computer science from the ESSI engineering school (University of Nice Sophia-Antipolis, France) in 2002.
Research Interests
My research domain is Formal Methods. More specifically, I am working on software testing and runtime verification, applied to complex systems (for exemple embedded or real-time systems).
Teaching
I am teaching computer science at ENSEIRB-MATMECA. I am responsible of the first year in the network and computer science department. My lectures mainly concern software testing, formal methods, networks, protocols design, functional programming, object oriented programming.