Skip to content
View doganulus's full-sized avatar

Sponsors

@sadikkuzu

Highlights

  • Pro

Organizations

@autowarefoundation @bounverif @bouncmpe

Block or report doganulus

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
doganulus/README.md

Doğan Ulus

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.

Pinned Loading

  1. reelay reelay Public

    A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.

    C++ 33 5

  2. timescales timescales Public

    A benchmark generator for Metric Temporal Logic (MTL) monitoring tools

    Shell 6 2

  3. montre montre Public

    The original timed regular expression matcher over temporal behaviors

    C++ 15 5

  4. timedrel timedrel Public

    A header-only C++ library that implements the algebra of timed relations + Python bindings

    C++ 2 2

  5. scalr scalr Public

    std::chrono inspired physical quantity/unit representation and manipulation library for C++11/14/17

    C++ 2 1