Pressure Field Models
December 8, 2021
Efficient simulation of contact dynamics using a hydroelastic intersection model. Final project for 6.834.
Pencil Sketch Rendering
May 21, 2021
Real-time stylized rendering of meshes and SDFs using geometry processing techniques. Final project for 6.838.
Time-Space Lower Bounds
May 6, 2021
An technical exposition of Ran Raz's strong hardness result for learning problems. Final project for CS 221.
January 29, 2021
Mathematics research paper, published in the Electronic Journal of Combinatorics (E-JC).
Taint Analysis for Browser Fingerprinting
December 11, 2020
Dynamic taint analysis for user privacy on the web. Final project for CS 263.
Generative Music Modeling
December 8, 2020
Composing music by annealed Langevin dynamics and noise-conditional score networks. Final project for CS 252r.
Lorenz Attractor Bifurcations
November 23, 2020
Presentation on chaos theory of the Lorenz system, local and global bifurcations. Final project for Math 118r.
October 15, 2020
Seminar presentation on learned inductive program synthesis (published in ICLR 2017) for CS 252r.
Compression-Based Generalization Bounds
May 14, 2020
Survey of modern research in deep learning theory. Final project for CS 228.
Single Bidder Auctions
December 10, 2019
Survey of research in mechanism design and optimal transport theory. Final project for CS 223.
Notes and Tutorials
December 1, 2021
Graduate-level class discussing inference on statistical models, frequentist and Bayesian perspectives.
PL Design Studio
November 16, 2021
Graduate seminar class exploring programming languages for verification, differentiation, compilation, logic, etc.
April 21, 2021
Smooth manifolds, transversality, intersection theory, differential forms, Stokes' theorem, and cohomology.
Programming Languages + AI
December 10, 2020
Graduate seminar class on topics at the intersection of programming languages and artificial intelligence.
December 3, 2020
Graduate-level probability class providing foundational material for statistics PhD students.
F=ma Solutions Manual
October 23, 2020
Instructive solutions for nine years of past F=ma physics competition problems.
August 30, 2020
A fast, kinetic data structure that offers flexibility, a simple implementation, and interesting combinatorial analysis.
Computational Learning Theory
July 12, 2020
Graduate-level class on computational learning theory taught by Leslie Valiant, Turing award laureate.
Analysis and Topology
April 29, 2020
The second semester of Math 55. Point-set and algebraic topology, real analysis, and complex analysis.