معرفی
Husnu Yenigun is a Professor at Sabanci University's Computer Science and Engineering Program, Faculty of Engineering and Natural Sciences (Istanbul, Turkey). He earned his BSc, MSc, and PhD in Electrical and Electronics Engineering from Middle East Technical University (Ankara) in 1992, 1995, and 2000 respectively. His professional career includes roles at TUBITAK (1992-1997), Bell Laboratories (1997-1998), and as a consultant at Bell Labs (1999-2000).
Research interests: Dr. Yenigun specializes in automata and concurrency theory, formal methods, software quality assurance, model checking, and complexity relief techniques for software verification. His work bridges theoretical automata analysis with practical testing frameworks.
Key publication trends: His recent work spans automata synchronization (2018-2021), matrix optimization (2017-2018), and adaptive testing sequences (2016-2018), with applications in
- Wireless positioning systems
- Finite state machine verification
- Parallel computing
- Formal method implementations
Professional activities: He serves on technical program committees for major conferences like MODELSWARD, QRS, and ICTSS (2016-2025). He chaired the programming committee for ICTSS 2013 and 2017, and co-chaired UYMS 2018. He also acted as guest editor for the International Journal on Software Tools for Technology Transfer (2016).
Contact: yenigun@sabanciuniv.edu | Office: FENS 2054, Sabanci University
