Doktora
(Post-doktora) - University of Oxford - Department of Computer Science - Formal Logic - 2023 - Devam Ediyor
(Doktora) - Université Grenoble Alpes - ED MSTII - Mathematics and Informatics - 2015
(Post-doktora) - University of Iowa - Department of Computer Science - Informatics - 2017
(Post-doktora) - University of Innsbruck - Department of Computer Science - Computational Logic - 2019