hi. i'm jon rosario.
about me.
I am currently a MEng student at the MIT Department of Electrical Engineering & Computer Science, and I previously completed a double major in Mathematics and Computer Science and Engineering with a concentration in Music.
My MEng research is mainly in developing a not so bad proof engine. More generally, my academic interests include complexity theory, algorithms, machine learning, and programming languages.
If you're interested in any of my past or present projects (academic or personal), you can check out my GitHub page. Warning, I don't make many projects public.
If you're interested in learning a bit more about me as a person, look at this page.