Itaï Ben Yaacov a rédigé la thèse suivante :

Logique mathématique et fondements de l'informatique
Soutenue en 2002
Thèse soutenue


Itaï Ben Yaacov a dirigé les 4 thèses suivantes :


Itaï Ben Yaacov a été président de jury de la thèse suivante :

Mathématiques
Soutenue le 03-07-2019
Thèse soutenue

Itaï Ben Yaacov a été membre de jury des 3 thèses suivantes :

Logique mathématique
Soutenue le 02-03-2012
Thèse soutenue

Mathématiques
Soutenue le 21-10-2011
Thèse soutenue