Hey, I'm Noah 👋
I'm a student at Brown University studying Computer Science. Right now, I'm most interested in programming languages and machine learning.
Over winter break, I'm aiming to post a writing or mini-project to this website every 2 days. My status is tracked using beeminder.
Previously, I
- built ATA, an LLM-powered tutor for Brown courses with funding/credits from B* and OpenAI.
- interned at Netflix in Los Gatos, working on automating navigation in TV UIs (think computer-use for TVs)
Projects
Dimspector: PyTorch Static Shape Inference
A proof-of-concept program analysis that statically infers the shape of PyTorch tensors given parameter annotations, built for a final. Supports symbolic expressions without using an SMT solver. We're currently building it out into an analysis that can tackle a much larger subset of programs (which I wrote a post about).
Verilog CPU
A simple 8-bit computer (with accompanying basic assembler) written from the ground up in verilog. Still in progress!
ATA
ATA is a student-facing chatbot that acts as a tutor I built with a few friends for use in Brown courses. Professors drop in their course materials and get course analytics; students can then chat with ATA about lectures and assignments. ATA is university-sanctioned and in use by hundreds of students across multiple courses at Brown. We are lucky to be supported by funding from B* and API credits from OpenAI. ATA was also featured in the 2025 edition of Conduit, Brown CS's magazine! (Currently limited only to Brown students, but a demo is coming soon)