The aim of formal testing is to get a subset of every possible tests such with regards to a coverage criterion. This subset is called a test set and the coverage criterion is defined from a formal specification of a system, which can be an automaton. My research interest is about defining random exploration methods that ensure a good assessment of a coverage criterion, whatever the topology of the explored model.

Having a degree in computer science engineering, I have a strong background in computer programming. I am an expert in C++ and I developed a C++ library in which most of the algorithms designed during my Ph.D. thesis are implemented. This library, Rukia, is free software and can be downloaded from Rukia website. This library generates paths of a fixed size from a graph described in GraphViz format, and ensures a uniform coverage among every paths. I'm familiar with tools for building software like the Autotools and Version Control Systems (CVS, Subversion, Git, Mercurial). I also know Trac, a web-based project management tool.

When I was a PhD student, I was also a teaching assistant in the computer science department of IUT Orsay. I gave tutorials in algorithmic and C++ language to the first-year students and I was also in charge of a robotic project for second-year students. This project aimed at driving from Internet a robot built by IUT Cachan.