Hello!
I am a senior at MIT studying computer science and mathematics. In particular, I am interested in programming
languages and formal methods.
I interned at Jane Street, working on
query optimization.
I am also a teaching assistant for
18.404, on the rock climbing team,
and the creator of
tritris.