Bilgisayar Mühendisliği Bölümü
Dr. Öğr. Üyesi Doğan Ulus
Araştırma Alanları:
Simulation-based Testing, Runtime Verification, Autonomous Systems, Cyber-Physical Systems, Formal Methods, Automata Theory
