My CV


Hüsnü  Yenigün

yenigun-sabanciuniv.edu

Faculty of Engineering and Natural Sciences

Education

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

Work Experience

    Scientific and Technical Research Council of Turkey (TÜBİTAK), 1992-1997; Bell Laboratories, 1997-2000.

Areas of Interest

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