Hi, I'm Ariel (she/they) from the Luau team. I work as a Software Engineer at Roblox where my efforts are primarily focused on the design of and developer experience with Luau 's type system. Its gradual type system is really quite fun, featuring powerful features like semantic subtyping , typestate , and partial type operators .
Outside of work, I'm a FromSoft fanatic, chronic Savage raider in the critically-acclaimed MMORPG Final Fantasy XIV , and a lover of Dungeons & Dragons , Lancer & other ttrpgs . In other media, I'm a hyperpop appreciator, especially brakence & underscores , and mecha anime enjoyer, especially Witch from Mercury & Neon Genesis Evangelion .
In my past life, I was an academic . I was a PhD student & 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 program repair for Puppet manifests.