conf.researchr.org / Muqsit Azeem
No Photo

Registered user since Fri 15 Nov 2024

Name:Muqsit Azeem
Country:Germany
Affiliation:Technical University of Munich
Personal website: https://www7.in.tum.de/~azeem/
GitHub: https://github.com/muqsit-azeem
Research interests:Formal Verification, Learning

Contributions