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