I’m Aaron Weiss! I’m a graduating junior from the University of Massachusetts, Amherst.

I’m a research assistant to Prof. Arjun Guha where I work on static verification and synthesis of 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.