Skip to content
View numairmansur's full-sized avatar
👨‍💻
keep on keeping on
👨‍💻
keep on keeping on
41 followers · 62 following

Achievements

Achievement: YOLOAchievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: YOLOAchievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Highlights

  • Pro

Organizations

@ultimate-pa @MPI-SWS @Practical-Formal-Methods

Block or report numairmansur

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
numairmansur/README.md

Since November 2022, I am an applied scientist at Amazon Web Services, working at the intersection of security, automated reasoning, and generative AI. Before joining AWS, I completed my Ph.D. at the Max Planck Institute for Software Systems (MPI-SWS) in Kaiserslautern, Germany under the supervision of Prof. Maria Christakis. The overarching goal of my Ph.D. research was to improve software correctness and reliability by making it easier and practical for developers of all skill levels to incorporate state of the art formal methods tools in their software development workflow. My Ph.D. research resulted in the detection (and fixes) of 60+ critical soundness bugs in fundamental program analysis tools such as SMT solvers and Datalog engines.

Pinned Loading

  1. Practical-Formal-Methods/storm Practical-Formal-Methods/storm Public

    A blackbox mutational fuzzer for detecting critical bugs in SMT solvers

    SMT 85 11

  2. Practical-Formal-Methods/queryFuzz Practical-Formal-Methods/queryFuzz Public

    QueryFuzz implements a metamorphic testing approach to test Datalog engines.

    Python 36 5

  3. automl/RoBO automl/RoBO Public

    RoBO: a Robust Bayesian Optimization framework

    Python 483 133

  4. ultimate-pa/ultimate ultimate-pa/ultimate Public

    The Ultimate program analysis framework.

    Java 200 41

  5. Z3Prover/z3 Z3Prover/z3 Public

    The Z3 Theorem Prover

    C++ 10.4k 1.5k

  6. SRI-CSL/yices2 SRI-CSL/yices2 Public

    The Yices SMT Solver

    SMT 376 48