Jimmy Koppel
Founder And CEO at Boardy
San Francisco, California, United States
Summary
🤩
Rockstar🎓
Top SchoolJimmy Koppel is a founder and CEO with 14 years of experience building tools and training programs to drastically reduce software maintenance costs. He earned a Ph.D. from MIT in meta-metaprogramming and has founded multiple startups (including Tarski Technologies and Mirdin) focused on program transformation and automated repair. Jimmy has trained roughly 400 professional engineers to write more extensible, lower-bug software and continues to productize research-grade programming tools through Command Center and advisory roles. His engineering background spans systems, Android product rearchitectures (with six patents), and distributed repair systems implemented in Haskell atop AWS—evidence of rare depth across research and production. Based in San Francisco, he pairs academic rigor with practical entrepreneurship to chase successive 10x improvements in developer productivity.
14 years of coding experience
11 years of employment as a software developer
Doctor of Philosophy (Ph.D.) Computer Science, Doctor of Philosophy (Ph.D.) Computer Science at Massachusetts Institute of TechnologyBS Mathematics, BS Mathematics at Carnegie Mellon University
Github Skills (115)
benchmark10
language-model10
transformation10
java10
aot10
parametric10
tla10
nlp9
graalvm9
agda9
parser9
spider9
haskell9
crawler9
web-crawler9
Programming languages (17)
Github contributions (5)
jkoppel/Strafunski-StrategyLib
Apr 2013 - Oct 2019
Cabalized version of the StrategyLib library from Strafunski
Contributions:22 commits, 9 PRs, 9 pushes in 6 years 6 months
security
jkoppel/Revitalize
Dec 2011 - May 2015
Contributions:13 commits, 2 pushes in 3 years 5 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.