A short bio ...

Since February 2014, I am an Assistant Professor at the Department of Mathematics and Computer Science of the Eindhoven University of Technology.

From October 2009 to January 2014, I was an Assistant Professor of the School of Computer Science of the Open University of the Netherlands.

In March 2007, I joined the group of Frits Vaandrager at Radboud University in Nijmegen, the Netherlands. I was working with Jan Tretmans on model-based testing for timed systems and with Frits Vaandrager on real-time model-checking.

On January 31st 2006, I graduated with a Ph.D. in E.E. from the Joseph Fourier University (UJF) in Grenoble, France. I worked under the supervision of Dominique Borrione at the TIMA Laboratory.

During my Ph.D., I visited the University of Texas at Austin (UT) as a guest of Warren Hunt and J Strother Moore. This journey was supported by an EURODOC scholarship granted by the Région Rhône-Alpes.

After my Ph.D., I spent one year at the University of Saarland at Saarbrücken, Germany. I participated to the Verisoft project, in particular to the verification of a real-time distributed system for automotive applications.

In the summer 2005, I was a student of the Lipari Summer School (web). The teachers were great, as well as the Eolian Islands :-)

I was also attending Marktoberdorf 2008. The location was not as paradisiacal, but the teachers, the students and the atmosphere were wonderful !