Atticus M. Kuhn

Atticus M. Kuhn

Trinity College, Cambridge, CB2 1TQ +44 7831 003154 ak2518@cam.ac.uk LinkedIn github.com/atticuskuhn atticusmkuhn.com

View CV

Atticus Kuhn in formal attire

Education

Trinity College, University of Cambridge, UK

2023 - 2026

Double First Class Honours BA (2023-2026) Computer Science. Junior & Senior Scholarship
Class rank 11 / 118 (2026), 9 / 121 (2025), 16 / 124 (2024).

Palo Alto High School, Palo Alto, CA

2019 - 2023

Weighted GPA 4.52 (A+), SAT - 1560 (98%), PSAT - 1490 (98%)
Ten Advanced Placement Classes - all awarded Grade 5 (highest grade)
National Merit Scholarship Finalist, AP Scholar with Honors

Foothill College, CA

2022 - 2023

Calculus (Grade A+), Calculus II (Grade A+), Linear Algebra (Grade A+)

Euler Mathematics Circle, Palo Alto, CA

2019 - 2023

Wrote 12 expository papers & progressed to Advanced Class

Ross Mathematics Program, Columbus, OH

2022

Selected to attend six week residential Number Theory course

College of San Mateo, CA

2020 - 2021

Macroeconomics (Grade A), Microeconomics (Grade A-)

Science Bowl Team Captain

2016 - 2023

Captain, High School Team (Regional quarter-final) / Middle School Coach

Projects

SDQL Compiler (Undergraduate Dissertation)

2026

Dissertation received first-class honours. Read the dissertation (PDF)
Extended programming language with novel fixpoint construct, wrote compiler in Rust + Lean

Camfess (camfess.org.uk)

2026

Wrote cryptographic website for students with verified anonymity, 100+ users

The Trading Games

Developed an interactive game to teach children about the stock market, with an accurately simulated exchange.

Make Money 2

Built a browser extension game as a high school junior; reached 10,000+ downloads on the Google Play Store.

Skills

Languages Python, Javascript, Java, Haskell, C/C++, Go, Rust, SQL, LLVM, PyTorch
Skills: Quick learner, System Design, Independent research, Self-starter attitude
Technical Linux, NixOS, Machine Learning, WebDev, Networking, TCP/IP, Data Structures

Experience

Internship - Xantium Group - Tudor Investment Corporation

2026 - 2026

Quantitative Developer for CME Mid-Frequency Trading
Created local backtesting toolkit used by multiple teams
Developed Benchmarking backtest in C++ and Python

Internship - University of Birmingham, Dept of Computer Science

2024 - 2025

Verified Neural Networks with Prof. Mirco Giacobbe
Formalised program termination analysis in Lean4 Theorem Prover
Presented to nuXmv Maintainers at Bruno Kessler Foundation, Italy
Created paper accepted for POPL Student Research Competition, Denver 2025

Internship - University of Cambridge, Dept of Computer Science

2024 - 2025

Developed Finite-State Machine tool for hardware verification in LLVM/CIRCT
Contributed to academic paper for OOPSLA 2026 conference
Developed LLVM Compiler Verification in Lean supervised by Dr. Tobias Grosser

Treasurer - Fisher Society, Cambridge

2023 - today

Financial management, planning and budget for 800 members
Event organisation and management in collaboration with committee of 15 students

Self-Taught Experience

2018 - today

Mentor Conal Elliott; used theorem prover to verify circuits with category theory
Automated Theorem Provers, Dependent Type Theory, Software Verification

Leader Palo Alto Python Club

2018 - 2023

Organized Machine Learning Course & Hackathon
Tutored disadvantaged 30+ local students

Personal

Citizenship: UK / US / Australia; viola in chamber group, hiking, travel & theorem provers

Photo gallery

01 — 15

Atticus in formal attire outdoors

Friends around a dining table

Person holding flowers indoors

Two people sitting together

Formal dinner in a hall

Three people standing together indoors

People beneath an umbrella at night

Two people smiling together

Four people dressed for a formal event

Atticus seated at an outdoor table

Family and friends at a restaurant

Friends talking around a table

Atticus at an event

Atticus and a friend holding Trinity May Ball programs outdoors

Three friends in colorful shirts posing together indoors

Contact

ak2518@cam.ac.uk +44 7831 003154 LinkedIn github.com/atticuskuhn