This is the home page for Dependable Systems Group in the Department of Computer Engineering, Bogazici University.


Dependable Systems Group (DSG) at Bogazici University performs research and development on topics related to dependability of computer systems. We collaborate with the industry and develop techniques that are applicable to real-world problems.

We analyze computer systems including hardware and software such as embedded, multicore, manycore hardware, and GPUs, as well as concurrent, parallel, and multithreaded software.

We work on a variety of research topics including:

  • Verification (both formal and simulation-based) of computer systems
  • Software Testing and Software Engineering
  • Electronic Design Automation
  • Performance evaluation and benchmarking for design space exploration of computer architectures
  • Parallel programming for speeding up sequential algorithms
We are always looking for motivated individuals (undergraduate and graduate) who are interested in joining our group.

Group Photo July 2017

Group Photo July 2017