Department of Computer Engineering
Assistant Professor Doğan Ulus
Research Interests:
Simulation-based Testing, Runtime Verification, Autonomous Systems, Cyber-Physical Systems, Formal Methods, Automata Theory
