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).


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.


Mail / Phone

antoine.rollet -AT- labri.fr

LaBRI: (+33) 5-40-00-69-08
ENSEIRB-MATMECA: (+33) 5-56-84-60-55

Postal Address LaBRI

bureau 115
351 cours de la libération
Domaine universitaire
33405 Talence Cedex


bureau 215
1, Avenue du Docteur Schweitzer
Domaine Universitaire - BP 99
33402 Talence Cedex