Hello. I'm Jon Rosario.

and I'm trying something different.

Welcome to my new website. You can find shortcuts to all the important stuff about me in the links section.

About me.

I am currently a MEng student at MIT in Computer Science, and I previously completed a double major in Mathematics and Computer Science and Engineering with a concentration in Music.

My MEng work is mainly in developing a new 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.