Hello! I am a junior at MIT studying computer science and mathematics. In particular, I am interested in
programming languages and formal methods. I am also a teaching assistant for
18.404, on the rock climbing team, technology chair of
the Undergraduate Mathematics Association, and the creator of
tritris.