Paul Gustafson
Software Engineer at Meta
Menlo Park, California, United States
Summary
👤
Senior🎓
Top SchoolPaul Gustafson is a software engineer with 10 years of experience, currently focused on performance engineering for Meta’s recommender system ML infrastructure. He combines a PhD-level mathematical background with quantitative finance experience to tune large-scale systems where statistical rigor meets production constraints. His prior roles span medium-frequency alpha research, formal methods for robot behavior, and category-theory–informed RL research, reflecting a rare blend of theory and applied engineering. Based in Menlo Park, he brings deep expertise in tail-risk thinking and hedging—an uncommon lens for systems performance and reliability. Known for translating abstract math into robust, measurable system improvements, he excels at making high-dimensional models run reliably in real-world environments.
10 years of coding experience
8 years of employment as a software developer
Doctor of Philosophy - PhD, Mathematics, Doctor of Philosophy - PhD, Mathematics at Texas A&M UniversityMathematics, Mathematics at Princeton University
Github Skills (36)
pytorch10
plutus9
deep-learning9
smart-contracts8
blockchain8
coq8
mathematics8
combinatorics8
coq-library7
discrete-mathematics7
programming-language7
agda7
ada7
number-theory7
homotopy-type-theory7
Programming languages (7)
Github contributions (5)
PaulGustafson/dcc
Nov 2020 - Nov 2020
Contributions:33 commits, 30 pushes, 1 branch in 25 days
PaulGustafson/paulgustafson.github.io
Sep 2018 - Jan 2024
Contributions:39 pushes, 1 branch in 5 years 4 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.