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
Using general profile