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 the 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 HDR (french) habilitation in 2018 at the University of Bordeaux. I am obtained Engineer diploma in computer science from the ESSI engineering school (University of Nice Sophia-Antipolis, France) in 2002.
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 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.
mail: antoine.rollet -AT- labri.fr
LaBRI: (+33) 5-40-00-69-08
ENSEIRB-MATMECA: (+33) 5-56-84-60-55
351 cours de la libération
33405 Talence Cedex
1, Avenue du Docteur Schweitzer
Domaine Universitaire - BP 99
33402 Talence Cedex