Hüsnü Yenigün
Formal methods, HW/SW Verification, Model Checking.
Faculty of Engineering and Natural Sciences, Sabanci University,
Istanbul, Turkiye
Education
Ph.D. (1995 –2000) Middle East Technical UniversityDepartment of Electrical & Electronics Engineering, Ankara, Turkey
M.Sc. (1992 –1995) Middle East Technical UniversityDepartment of Electrical & Electronics Engineering, Ankara, Turkey
B.Sc. (1987 –1992) Middle East Technical University Department of Electrical & Electronics Engineering, Ankara, Turkey