Atticus Kuhn
Quantiative Developer Intern
Palo Alto, California, United States
Summary
🤩
Rockstar🎓
Top SchoolAtticus Kuhn is a third-year Computer Science student at Trinity College, Cambridge with six years of technical experience bridging formal methods, compilers, and machine learning. He is currently researching formal semantics of LLVM IR with the LEAN theorem prover at Cambridge and concurrently developing neural approaches to inductive loop invariants at the University of Birmingham. Past roles include leading web and curriculum development for a community coding organization and co-founding Paly Python, where he built production sites and tooling in Python, JavaScript/React, and SQL. Based in Palo Alto, he brings a strong mathematical background from programs like Euler Circle and Ross, and a knack for translating formal theory into practical tooling and educational software.
7 years of coding experience
6 years of employment as a software developer
MA Computer Science, MA Computer Science at Trinity College CambridgeMulti-Variable Calculus Mathematics, Multi-Variable Calculus Mathematics at Foothill CollegeEconomics, Economics at College of San MateoRoss Mathematics ProgramHigh School Diploma Computer Science, High School Diploma Computer Science at Palo Alto High School
French
Github Skills (18)
llvm9
programming-language9
coinduction8
datatypes8
toolchain7
compiler7
agda5
formal-verification4
major-mode4
discord-bot3
emacs3
formal-methods3
category-theory3
algorithms2
parallel-computing2
Programming languages (10)
Github contributions (5)
AtticusKuhn/multi-notes
Jan 2023 - Mar 2023
Contributions:14 commits, 20 pushes, 1 branch in 2 months
AtticusKuhn/atticuskuhn.github.io
Jan 2022 - Oct 2022
Contributions:113 commits, 97 pushes, 2 branches in 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.