Doğan Ulus
Assistant Professor at Boğaziçi University
Istanbul, Istanbul, Turkey
Summary
👤
Senior🎓
Top SchoolDoğan Ulus is an Assistant Professor of Computer Science and founder with 12 years of experience specializing in formal methods, metric-driven and specification-driven verification for cyber-physical systems, robotics, ADAS, and autonomous vehicles. He blends academic rigor—evidenced by a PhD with high-impact contributions in timing-aware monitoring and dramatic performance gains using BDDs—with practical industry impact from roles at Samsung and his startup VevaLabs creating V&V tools to meet ISO26262 needs. His work spans runtime verification, adversarial testing, and scenario-based simulation platforms, connecting reactive control and motion planning with formal runtime monitors. Based in Istanbul, he is known for translating formal specification research into scalable verification tools and for an unusual focus on quantitative monitoring performance improvements that enabled real-time analysis for safety-critical systems.
12 years of coding experience
9 years of employment as a software developer
Master of Science (MS), Master of Science (MS) at Bogazici UniversityDoctor of Philosophy (PhD), Doctor of Philosophy (PhD) at Université Grenoble AlpesHigh School, High School at Kabataş Erkek LisesiExchange, Exchange at Linköping University
English, Turkish, French
Stackoverflow
101reputation
0reached
1answer
0questions
Github Skills (176)
hugo10
cms10
unreal-engine-410
python10
simulator10
real-time-systems10
ros10
autonomous-driving10
environmental10
robotics10
pandas10
autonomous-vehicles10
ai10
openscenario10
computer-vision10
Programming languages (14)
Github contributions (5)
vevalabs/vevalabs.github.io
Jul 2020 - Dec 2024
Source code for vevalabs.com
Contributions:8 PRs, 16 pushes, 2 branches in 4 years 4 months
bouncmpe/bouncmpe.github.io
Jan 2024 - Mar 2025
Website for Boğaziçi University Computer Engineering
Contributions:11 reviews, 90 PRs, 126 pushes in 1 year 2 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.