Doğan Ulus

Dogan Ulus

Office: 

BM 15
 

Email: 

dogan.ulus [at] bogazici.edu.tr
 

Personal Website: 

https://github.com/doganulus
 

Committees

Systems and Networks Committee, Web Committee

Research Interests

Simulation-based Testing, Runtime Verification, Autonomous Systems, Cyber-Physical Systems, Formal Methods, Automata Theory
 

Biography

  • PhD, Université Grenoble Alpes (2018)
  • MS, Boğaziçi University (2013)
  • BS, Boğaziçi University (2011)
 

Publications

DBLP Profile

Bize Ulaşın

Bilgisayar Mühendisliği Bölümü, Boğaziçi Üniversitesi,
34342 Bebek, İstanbul, Türkiye

  • Telefon: +90 212 359 45 23/24
  • Faks: +90 212 2872461
 

Bizi takip edin

Sosyal Medya hesaplarımızı izleyerek bölümdeki gelişmeleri takip edebilirsiniz