2004 - 2010

Texas Tech University

Doktora

2000 - 2003

Texas Tech University

Yüksek Lisans

1996 - 1998

BOĞAZİÇİ ÜNİVERSİTESİ

Önlisans

1989 - 1993

KARA HARP OKULU KOMUTANLIĞI

Lisans

2004 - 2010

Sequence Programlarinin Dogrulugunun Mizar Kullanilanarak Ispati

2000 - 2003

SequenceL'in Formal Semantigi

-

1989 - 1993