I’m Aaron Weiss, a first-year PhD and NSF Fellow at Northeastern verifying compilers 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 Scala, Rust, and Haskell.

Headshot photograph of Aaron.