https://github.com/doganulus/doganulus
Config files for my GitHub profile.
https://github.com/doganulus/doganulus
config github-config
Last synced: 3 months ago
JSON representation
Config files for my GitHub profile.
- Host: GitHub
- URL: https://github.com/doganulus/doganulus
- Owner: doganulus
- Created: 2022-04-23T09:33:17.000Z (over 3 years ago)
- Default Branch: main
- Last Pushed: 2022-05-16T12:22:24.000Z (over 3 years ago)
- Last Synced: 2025-10-09T03:16:41.670Z (3 months ago)
- Topics: config, github-config
- Homepage: https://github.com/doganulus
- Size: 1.95 KB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# Doğan Ulus
I am an assistant professor of Computer Science at the [Department of Computer Engineering](https://github.com/bouncmpe) 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](https://hal.archives-ouvertes.fr/tel-01901576) at the [Verimag](https://www-verimag.imag.fr/) 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.