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.
numairmansur / pysmt Goto Github PK
View Code? Open in Web Editor NEWThis project forked from pysmt/pysmt
pySMT: A library for SMT formulae manipulation and solving
Home Page: http://www.pysmt.org
License: Apache License 2.0