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 managing the sofware engineering projects (PFA) in the computer science department. My lectures mainly concern software testing, formal methods, networks, protocols design, functional programming, object oriented programming.

Contact

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

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

Postal Address ENSEIRB-MATMECA

ENSEIRB-MATMECA
bureau 218
1, Avenue du Docteur Schweitzer
Domaine Universitaire - BP 99
33402 Talence Cedex