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.