DİNLE

Fakülte Üyeleri

Hüsnü Yenigün Öğretim Üyesi
yenigunsabanciunivedu
(216) 483 9544

Kişisel Web

İş 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ı

Formal methods; hardware/software verification; model checking; finite state machine based testing

Yayınlar

Article
Papers in Conference Proceedings
Volumes Edited / Special Issues
Working Paper / Technical Report
Publications Prior to SU