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 / hpolib Goto Github PK
View Code? Open in Web Editor NEWThis project forked from automl/hpolib
HPOlib is a hyperparameter optimization library. It provides a common interface to three state of the art hyperparameter optimization packages: SMAC, spearmint and hyperopt
Home Page: http://automl.org/hpolib
License: GNU General Public License v3.0