Benjamin Cosman
Senior Software Engineer at Protogon Research
San Francisco, California, United States
Summary
🤩
Rockstar🎓
Top SchoolBenjamin Cosman is a Senior Software Engineer in San Francisco with 11 years of experience bridging advanced research and production systems. With a PhD in Computer Science from UC San Diego and a BS from Caltech, he moved from academia—serving as a Teaching Assistant Professor at UIUC—to building AI-driven trading systems at Protogon Research, where he focuses on models that seek deep world understanding rather than surface-level outputs. He combines rigorous research training with hands-on engineering in small, high-leverage teams, translating model improvements directly into revenue-generating systems. Comfortable across the research-to-production boundary, he values proprietary datasets and principled model development as tools to avoid the typical AI commodity race. An understated strength is his track record of mentorship and curriculum development from his academic role, which he leverages to onboard and grow technical teams.
11 years of coding experience
4 years of employment as a software developer
University of California San DiegoCalifornia Institute of Technology
Github Skills (49)
refinement-types10
horn10
verification10
constraint10
liquid10
clause10
haskell10
smt10
solidity9
blockchain9
smart-contracts9
ethereum8
repair8
type-error7
lex6
Programming languages (6)
Github contributions (5)
BenjaminCosman/gradeReports
Jan 2019 - May 2020
Contributions:2 PRs, 87 pushes, 5 branches in 1 year 4 months
BenjaminCosman/python-features
Dec 2017 - Sep 2019
Contributions:6 PRs, 143 pushes, 11 branches in 1 year 8 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.