λ. Aaron Weiss

I'm Aaron Weiss, a language designer at Roblox working on Luau, a gradually-typed scripting language derived from Lua.

Previously, I was an NSF Fellow at Northeastern working on a formal semantics for Rust 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 over a decade of experience, mostly in Rust, Scala, and OCaml.

Headshot photograph of Aaron.
Publications