Giter Site home page Giter Site logo

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.

Doğan Ulus's Projects

ams-verify icon ams-verify

AMS-Verify is an analog and mixed-signal (AMS) verification framework inspired from unit testing methodology.

cudd icon cudd

A mirror of Colorado University Decision Diagram (CUDD) library

labs344 icon labs344

Development environment and instructions for CMPE344 lab sessions

montre icon montre

The original timed regular expression matcher over temporal behaviors

pyjavu icon pyjavu

A Python implementation of the monitoring tool DejaVu

python-monitors icon python-monitors

A pure Python package to monitor formal specifications over temporal sequences

reelay icon reelay

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

reelay-codegen icon reelay-codegen

A code generator from high-level formal specifications for monitoring and pattern matching sequential/temporal data.

scalr icon scalr

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

timedrel icon timedrel

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

timescales icon timescales

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

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.