ECOOP 2026 (series) / Soaibuzzaman
Registered user since Mon 13 May 2024
Name: Soaibuzzaman
Country:Germany
Affiliation:Bauhaus-University Weimar
Personal website: https://soaib.me/
GitHub: https://github.com/soaibsafi
Research interests:Formal Methods, Reactive Systhesis, Truested AI
Contributions
Using general profile