-
1985 - 1991 Doktora
The University of Iowa, College of Liberal Arts and Sciences , Department Of Computer Science, Amerika Birleşik Devletleri
-
1982 - 1984 Yüksek Lisans
Orta Doğu Teknik Üniversitesi, Mühendislik Fakültesi, Bilgisayar Mühendisliği Bölümü, Türkiye
-
1977 - 1982 Lisans
Orta Doğu Teknik Üniversitesi, Mühendislik Fakültesi, Bilgisayar Mühendisliği Bölümü, Türkiye
-
1991 Doktora
A logical characterization of the observational equivalence of processes
The University Of Iowa, Department Of Computer Science
-
1984 Yüksek Lisans
Shrinkers: A Class of Recognizers for a Subclass of Context-Free Languages
Orta Doğu Teknik Üniversitesi, Mühendislik Fakültesi, Bilgisayar Mühendisliği Bölümü
-
C1 İleri İngilizce