Skip to main content
Hüsnü YenigünMühendislik ve Doğa Bilimleri FakültesiÖğretim Üyesi(216) 483 9544yenigun@sabanciuniv.edu
İş Tanımı

Öğretim Üyesi


Eğitim

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

Araştırma Alanları

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
SU Öncesi Yayınları

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