ECOOP 2026 (series) / Uğur Y. Yavuz

Registered user since Thu 6 Jul 2023
Name:Uğur Y. Yavuz
Country:United States
Affiliation:Boston University
Personal website: https://uguryav.uz
GitHub: https://github.com/uguryavuz
Research interests:Concurrent Algorithms, Formal Verification
Contributions
2026
Using general profile