My research includes developing #testing, #verification and #validation tools and techniques using #formal methods to support the development of complex #cyber-physical systems, including #software-defined vehicles and #autonomous systems. All based on rigorous #software engineering practices...
I am always looking for motivated students to join my research group at the intersection of formal methods, cyber-physical systems, and software engineering. If you are interested in working with me, please send me an email with a brief description of your research interests.
Some hot topics:
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.