leo gagnon

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.
github linkedin [email protected]