I’m Aaron Weiss, a first-year PhD student and NSF Fellow at Northeastern designing languages with Amal Ahmed.

As an undergraduate, I worked with Arjun Guha on static verification and update synthesis for Puppet manifests.

I’m an open source software developer with about a decade of experience. My favorite languages are Rust and Scala.

Headshot photograph of Aaron.