Ana içeriğe atla
Hüsnü Yenigün Mühendislik ve Doğa Bilimleri Fakültesi Eğitimden Sorumlu Dekan Yardımcısı (216) 483 9544 husnuyenigunsabanciunivedu
Jobs

Eğitimden Sorumlu Dekan Yardımcısı


Education

Elektrik ve Elektronik Mühendisliği, Orta Doğu Teknik Üniversitesi (ODTÜ) [Lisans 1992, Doktora 2000]

Areas of Interest

Biçimsel metodlar; donanım/yazılım doğrulama; model kontrolü; sonlu durum makinalarına dayalı sınama yöntemleri

Article
Working Paper / Technical Report
Publications Prior to SU

- R.P. Kurshan, V. Levin, and H. Yenigun, "Compressing Transitions for Model Checking", in Proc. of CAV'02, LNCS 2404, pp. 569-581, 2002.

Home

MDBF Dekanlık Ofisi

Orta Mahalle, 34956 Tuzla, İstanbul, Türkiye

+90 216 483 96 00

© Sabancı Üniversitesi 2023