Skip to main content
Hüsnü Yenigün Faculty of Engineering and Natural Sciences Vice-Dean for Education (216) 483 9544 husnuyenigunsabanciunivedu

Vice-Dean for Education


Electrical and Electronics Engineering, Middle East Technical University (METU) [B.Sc. 1992, Ph.D. 2000]

Areas of Interest

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

Working Paper / Technical Report
Publications Prior to SU

- R.P. Kurshan, V. Levin, M. Minea, D. Peled, and H. Yenigun, "Combining Software and Hardware Verification Techniques", Formal Methods in Systems Design, 21(3), 2002. [] - R.P. Kurshan, V. Levin, and H. Yenigun, "Compressing Transitions for Model Checking", in Proc. of CAV'02, LNCS 2404, pp. 569-581, 2002.


FENS Dean's Office

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

+90 216 483 96 00

© Sabancı University 2023