Adam Ouksili
Computer Science × Mathematics
Education
Rutgers UniversityClass of 2029
Computer Science and Mathematics
Selected work
Theoremis ↗
A math-native IDE that turns handwritten proofs into verifiable formal mathematics.
Overlappd ↗
A discovery product organized around intent, not popularity.
ADAM / SYSTEM ↗
My personal website, with projects, notes, and interactive math experiments.
Areas of interest
Developer tools · Consumer products · Mathematical computing
\end{adam}