David Cox
Founder & CEO at Integrated Reasoning
San Diego, California, United States
Summary
🤩
Rockstar🎓
Top SchoolDavid Cox is a founder and CEO with 12 years of machine learning and security engineering experience, currently building Integrated Reasoning in San Diego. He previously drove ML initiatives at Apple and TRM Labs and has a background in security research and exploit development from roles at Palo Alto Networks and Exodus Intelligence. His academic path blends rigorous CS training (MS, UT Austin) with studies in statistical physics, reflecting a quantitative approach to hard engineering problems. David moves between research and product—shipping production ML systems while maintaining deep technical fluency in security and networking. An entrepreneur with YC affiliation, he combines startup grit with experience at large tech firms to commercialize research-driven ideas.
12 years of coding experience
8 years of employment as a software developer
Y CombinatorMaster of Science - MS, Computer Science, Master of Science - MS, Computer Science at The University of Texas at AustinStatistical Physics, Statistical Physics at Ettore Majorana Foundation and Centre for Scientific CultureBachelor of Science (B.S.), Computer Science; Mathematics and Security, Bachelor of Science (B.S.), Computer Science; Mathematics and Security at Texas A&M University
Github Skills (65)
recovery10
directories10
window-manager10
duplicate10
linux10
mission-control10
macos10
alt-tab10
utility10
nixos9
nix-flake9
api9
nix9
authentication9
filesystem9
Programming languages (12)
Github contributions (5)
integrated-reasoning/mps
Dec 2023 - May 2026
A fast MPS parser written in Rust
Contributions:3 releases, 8 PRs, 99 pushes in 2 years 5 months
parserrust
david-r-cox/nixos-config
Jan 2024 - Oct 2025
Contributions:1 release, 57 pushes, 3 branches in 1 year 9 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.