Registered user since Sun 27 Jan 2019
Name:Muhammad Numair Mansur
Bio:
Applied scientist at Amazon Web Services
Country:Germany
Affiliation:Amazon Web Services
Personal website: https://numairmansur.github.io
X (Twitter): https://x.com/Numair_Mansur
GitHub: https://github.com/numairmansur
Research interests:Automatic testing, formal methods, software verification
Contributions
Using general profile