معرفی
Doğan Ulus is an Assistant Professor at the Department of Computer Engineering, Boğaziçi University, Istanbul, Turkey. He holds a PhD in Computer Science from Université Grenoble Alpes (2018) and BSc/MSc degrees in Electrical Engineering from Boğaziçi University (2011, 2013). His research focuses on developing testing, verification, and validation tools for complex cyber-physical systems, particularly automated driving systems and autonomous robots.
- Education:
- PhD, Université Grenoble Alpes (2018)
- MS, Boğaziçi University (2013)
- BS, Boğaziçi University (2011)
His primary research interests include runtime verification, simulation-based testing, formal methods, and automata theory, with applications in safety validation of autonomous systems. He previously worked as a postdoctoral researcher at Boston University Robotics Lab and as a Senior Verification Engineer at Samsung Semiconductor, Inc., in San Jose, CA, USA.
Doğan contributes to academic committees such as the Systems and Networks Committee and Web Committee at Boğaziçi University. His work emphasizes the integration of formal methods with practical software development practices for robust system validation.
