hello! i'm mukul!!

Hi! I am an undergraduate studying Computer Science and Mathematics at Purdue University. My interests are in theoretical computer science, especially algorithms and their mathematical foundations. Recently, I have worked on research problems with Prof. Kent Quanrud.

contact

LinkedInin/agarmu
GitHub@agarmu
ResumeView PDF (PDF)
Emails
agarwal.mukul.work@gmail.com(work)
agarw396@purdue.edu(academic)

projects

projects / macro

MiniML

Aug ’26 – present

A small ML-style language implemented in Haskell, with a WebAssembly backend planned.

Generative art

Apr ’26 – present

A Scala 3 library for generative art, with shared sketches for Processing and the browser.

AVL Tree Lookup

Jan ’25 – May ’25

Profiling and optimizing AVL tree lookups in C/C++ and x86-64 assembly.

UniMath and Coq

Jun ’24 – Aug ’24

Learning formal proof in Coq and exploring univalent foundations at the 2024 School on Univalent Mathematics.

This website

Sep ’23 – present

Colophon and design history of my personal website.

projects / micro

Typst tools

Sep ’26 – present

A date and time library and personal document templates for Typst.

Summer 2025 Theory Reading Group

Jun ’25 – Aug ’25

A student-run reading group at Purdue on advanced topics in theoretical computer science, following Anupam Gupta's Advanced Algorithms course.

Data Mine Scraper

Sep ’23 – Oct ’23

A Go command-line tool that turns Data Mine assignment pages into Jupyter notebook skeletons.

exposition

exposition / notes

Here are some things I’ve written. Note that these notes and presentations may contain some errors or inaccuracies.

Multiplicative Weights

Sep ’26

Rigorous Notes discussing the Multiplicative Weights Update framework (and applications).

Dirichlet's Theorem

May ’25

Presentation notes prepared for a 15-minute presentation at the end of my directed reading of Montgomery and Vaughan's Multiplicative Number Theory I: Classical Theory and Apostol's Introduction to Analytic Number Theory; the talk itself was given on a blackboard.

exposition / slides

Mordell's Theorem

Dec ’25

Presentation slides prepared for a 15-minute presentation at the end of my directed reading of Silverman and Tate's Rational Points on Elliptic Curves.

Schur Product Embedding

Jul ’25

Presentation given for the SURF program during Summer 2025, covering one of the problems I worked on with Prof. Maji.

Laplacian Solvers

May ’25

Short presentation delivered on Laplacian Solvers for my undergraduate algorithms class, taught by Prof. Kent Quanrud.

teaching

CS 250 (Computer Architecture)

Materials Development TA

Jan ’25 – May ’25

I also offer individual tutoring.