Hi! My name is Diego Roque and I'm a sophomore studying Mathematics. I'm interested in programming languages, proof theory, and politics.
You can contact me at droque@mit.edu
