Skip to main content


I am an assistant professor of Computer Science at the Department of Computer Engineering at Boğaziçi University. The primary focus of my research is to develop testing, verification, and validation tools and techniques that support the development of complex cyber-physical systems including highly automated driving systems and autonomous robots.

All based on formal methods and good software development practices…

Short Bio #

Dogan Ulus obtained his BSc and MSc in Electrical Engineering from the Boğaziçi University, Istanbul, Turkey in 2011 and in 2013, respectively. He completed his Ph.D. thesis, Pattern Matching with Time: Theory and Applications at the Verimag laboratory, Grenoble, France, in 2018 under the liberal supervision of Dr. Oded Maler. After a post-doc at the Boston University Robotics Lab, he switched to the industry as a senior verification engineer at Samsung Semiconductor, Inc. in San Jose, CA, USA to work on testing automated driver assistance systems at Smart Machines group. He joined the Department of Computer Engineering at Boğaziçi University, Istanbul, Turkey as an assistant professor in 2021. His research interests include runtime verification, safety validation of highly automated driving systems, and automata theory.

Prospective Students #

I am always looking for motivated BSc, MSc, and PhD students to work on software-intensive projects encompassing several research areas. Being one of my favorite texts about scientific process, I highly recommend you to read the article on Creative Thinking, written by Claude E. Shannon in 1952 if you want to work with me. I emphasize good software development practices in my projects and expect you to apply them. Please check my software tech stack.