Jean-Baptiste Raclet Associate Professor, Univ. Paul Sabatier (Toulouse III) ACADIE group, IRIT laboratory [Google Scholar][DBLP][ORCID]

Research interests

• Formal methods for system design and verification
• Control of discrete event systems
• Logical specifications
• Language and automata theory
• Computer science education

Publications

Alumni

• 2018-2024: Mika Pons, Master student and PhD student (MESR grant, co-advised with Jean-Michel Bruel and Franck Silvestre)
• 2015-2016: Florent Avellaneda, Postdoctoral reaserch fellow (co-advised with Silvano Dal Zilio, funded by RTRA STAE-IFSE).
• 2012-2015: Guillaume Verdier, Master student and PhD student (MESR grant).

Teaching

Curriculum vitae

• Since 2010: Associate Professor at the University Paul Sabatier-Toulouse III Research activities conducted at IRIT in the team ACADIE
• 2010-2015: CNRS Chair of Excellence on "Formal Methods"
• 2008-2010: Postdoctoral research fellow in the Pop-Art Team at INRIA Grenoble
• 2004-2007: PhD thesis from the University of Rennes, prepared at the IRISA lab in the team S4, under the direction of Eric Badouel

Contact information

IRIT, Team ACADIE
E-mail address:  Jean-Baptiste.Raclet@irit.fr
Postal address:  IRIT, 118 Route de Narbonne, F-31062 Toulouse, FRANCE
Room: IRIT2-472
Telephone: +33 (0)5.61.55.72.07
Fax: +33 (0)5.61.55.62.58