hi! i'm jon rosario.

about me

i'm a software engineer at datadog, working on container integrations and the datadog agent. i graduated from mit in 2025 with a master of engineering in electrical engineering and computer science, where my thesis focused on building a scalable proof engine. before that, i earned two bachelor of science degrees in mathematics and computer science and engineering with a concentration in music.

these days, i'm interested in distributed systems, programming languages, formal methods, and music technology. in my free time, i enjoy composing and producing music, reading fiction, and exploring the outdoors.

my main project right now is extending my proof engine with a front end inspired by coq and building out a standard library. feel free to check it out!

if you want to learn a bit more about me as a person, take a look at this page.