Erik Zawadzki is a research scientist at Meta with a decade of experience applying rigorous optimization and constraint-solving techniques to real-world AI problems. He holds an MSc and BSc (Honours) from UBC and spent over a decade at Carnegie Mellon pursuing a PhD focused on mixed integer linear programs, SAT/#SAT, quadratic programming and linear complementarity problems with applications to machine learning and decision making. Skilled in C++, C and Python, he bridges theoretical research and practical systems, having interned at Microsoft Research and IBM Canada early in his career. Erik’s work blends combinatorial optimization and empirical evaluation—an approach that has produced publications and tooling used to push solver performance and ML decision models. Based in Denver, he brings both deep academic expertise and industry experience in turning complex mathematical formulations into deployable solutions.
10 years of coding experience
2 years of employment as a software developer
MSc, Computer Science, MSc, Computer Science at The University of British Columbia
PhD, Computer Science, PhD, Computer Science at Carnegie Mellon University
Contributions:504 commits, 475 pushes, 1 branch in 2 years 11 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.