Numair Mansur
Senior Applied Scientist at Amazon Web Services (AWS)
Berlin, Germany
Summary
👤
Senior🎓
Top SchoolNumair Mansur is a Senior Applied Scientist at Amazon Web Services in Berlin with 11 years of experience bridging research and production software for automated testing, debugging, and formal verification of complex systems. He holds a PhD from the Max Planck Society and brings deep research expertise from his doctoral work into practical AWS services, shipping robust solutions across applied science roles since 2021. Numair contributes to open-source tooling—improving visualization and testing in a Bayesian optimization framework—highlighting his knack for making sophisticated algorithms observable and reliable. Colleagues describe him as a pragmatic problem-solver who turns formal analysis into scalable engineering, equally comfortable writing tests or production back-end code.
11 years of coding experience
7 years of employment as a software developer
Master's degree Computer Science, Master's degree Computer Science at The University of FreiburgDoctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at Max Planck SocietyBachelor of Engineering (B.E.) Computer Engineering, Bachelor of Engineering (B.E.) Computer Engineering at National University of Sciences and Technology (NUST)
English, Urdu, German
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (5)
visualization10
visualizations10
python10
matplotlib9
testing8
Programming languages (8)
Github contributions (5)
automl/RoBO
Sep 2015 - Feb 2019
RoBO: a Robust Bayesian Optimization framework
Role in this project:
Back-end Developer
Back-end DeveloperContributions:247 commits, 32 PRs, 111 pushes in 3 years 6 months
Contributions summary:Numair made several changes to the `robo/visualization/plotting.py` file, implementing and modifying plotting functions. The user also contributed to the `robo/test/visual_test.py` file, which suggests involvement in testing visualization components. These commits indicate that the user was focused on enhancing the visualization capabilities of the RoBO framework by refining its plotting utilities and test infrastructure.
bayesian
numairmansur/Error-Localization
Jun 2016 - Dec 2017
Contributions:149 commits, 221 pushes, 1 branch in 1 year 6 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.