About

I'm Rob, a software engineer and computer science educator in Boston, Massachusetts, where I live with my spouse and two cats, one of whom likes hanging out on my desk.

As of September 2025, I'm a member of the Focused Research Organization (FRO) developing the Lean 4 programming language and proof assistant. (The Lean FRO's parent incubator, Convergant Research, has an explainer on Focused Research Organizations that I rather like.)

I'm also engaged in a couple of side projects through Owl & Crow, and I am both an occasional computer science professor and civil engineering student at Northeastern University.

Contact me at robsimmons@gmail.com if you might be interested in working together!

This website is built with Astro, hosted as a static site on Render, and takes significant design inspiration from Jake Lazaroff's website.