CV

Formation

2012–2016 : doctorat
« Variantes de spécifications à ensembles d’acceptation pour la conception modulaire de systèmes », sous la direction de Jean-Baptiste Raclet et Jan-Georg Smaus, Institut de Recherche en Informatique de Toulouse
2010–2012 : master systèmes répartis et logiciels critiques
classé 1^er, Université Paul Sabatier – Toulouse III
2007–2010 : licence informatique
classé 1^er, Université Paul Sabatier – Toulouse III

2012–2015 : architecture des ordinateurs I (assembleur ARM)
1^er semestre, L3 informatique, Université Paul Sabatier – Toulouse III
2012–2015 : architecture des ordinateurs II (assembleur ARM)
2^d semestre, L3 informatique, Université Paul Sabatier – Toulouse III
2014–2015 : programmation fonctionnelle (Caml)
1^er semestre, L3 informatique, Université Paul Sabatier – Toulouse III
2014–2015 : programmation fonctionnelle avancée (Caml)
2^d semestre, L3 informatique, Université Paul Sabatier – Toulouse III
2017–2018 : types abstraits et programmation fonctionnelle avancée (Caml, Coq)
2^d semestre, L3 informatique, Université Paul Sabatier – Toulouse III

Quotient of Acceptance Specifications Under Reachability Constraints
LATA 2015, Guillaume Verdier, Jean-Baptiste Raclet
Real-Time Model Checking Support for AADL
arXiv, Bernard Berthomieu, Jean-Paul Bodeveix, Silvano Dal-Zilio, Mamoun Filali, Didier Le Botlan, Guillaume Verdier, François Vernadat
MAccS: A Tool for Reachability by Design
FACS 2014, Guillaume Verdier, Jean-Baptiste Raclet

Programmation système : assembleur (ARM, x86), C, C++
Programmation fonctionnelle / méthodes formelles : OCaml, Haskell, Coq, Agda
Développement web : PHP, SQL (PostgreSQL), Javascript, HTML5, CSS3
Systèmes d’exploitation : FreeBSD, Linux, macOS, Windows