-
2010 - 2014 Doktora
Boston University, Sistem Muhendisligi, Amerika Birleşik Devletleri
-
2008 - 2010 Yüksek Lisans
Ecole Polytechnique Fédérale de Lausanne, EPFL (The Federal Institute of Technology, Lausanne), Bilisim Muhendisligi, İsviçre
-
2005 - 2008 Lisans Yandal
Orta Doğu Teknik Üniversitesi, Fen Edebiyat Fakültesi, Matematik Bölümü, Türkiye
-
2003 - 2008 Lisans
Orta Doğu Teknik Üniversitesi, Mühendislik Fakültesi, Bilgisayar Mühendisliği Bölümü, Türkiye
-
2014 Doktora
Formal verification and controller synthesis for discrete-time systems
Boston University, Sistem Muhendisligi
-
2010 Yüksek Lisans
Co-evolution for Roombots
Ecole Polytechnique Fédérale De Lausanne, Epfl (The Federal Institute Of Technology, Lausanne), Bilisim Muhendisligi