Achim Jung a été rapporteur des 2 thèses suivantes :

Mathématiques. Logique et fondements de l'informatique
Soutenue le 10-09-2018
Thèse soutenue