Jérôme Leroux a rédigé la thèse suivante :


Jérôme Leroux dirige actuellement la thèse suivante :

Apprentissage automatique avec vérification formelle

par Ritam Raha sous la direction de Jérôme Leroux , Nathanaël Fijalkow et de Guillermo Alberto Perez mejia . - Bordeaux

Informatique
En préparation depuis le 05-06-2020
Thèse en préparation


Jérôme Leroux a dirigé la thèse suivante :


Jérôme Leroux a été président de jury de la thèse suivante :


Jérôme Leroux a été rapporteur des 5 thèses suivantes :

Informatique
Soutenue le 05-07-2018
Thèse soutenue
Informatique
Soutenue le 20-10-2017
Thèse soutenue


Jérôme Leroux a été membre de jury des 4 thèses suivantes :