ADAM OUKSILI
Computer Science x Mathematics

EDUCATION
Rutgers University — Class of 2029
NYC Metropolitan Area

SELECTED WORK
Theoremis
A math-native IDE that turns handwritten proofs into verifiable formal mathematics.
https://theoremis.com

Overlappd
A discovery product organized around intent, not popularity.
https://overlappd.com

ADAM / SYSTEM
My personal website, with projects, notes, and interactive math experiments.

CONTACT
adam@adamouksili.com
https://github.com/adamouksili
https://linkedin.com/in/adamouksili