Ana içeriğe atla
Hüsnü Yenigün Mühendislik ve Doğa Bilimleri Fakültesi Öğretim Üyesi (216) 483 9544 husnuyenigunsabanciunivedu
Jobs

Öğretim Üyesi


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 01

© Sabancı Üniversitesi 2023