conf.researchr.org / Doğan Ulus
Registered user since Sat 5 Oct 2024
Name:Doğan Ulus
Country:Turkey
Affiliation:Boğaziçi University
GitHub: https://github.com/doganulus
Research interests:Runtime verification, formal methods, autonomous systems, cloud-native tooling
Contributions