Registered user since Sun 27 Jan 2019
Name:Muhammad Numair Mansur
Bio:
Applied scientist at Amazon CodeGuru Security.
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
ASE 2024-profile
View general profile
View general profile