Registered user since Sun 18 Dec 2016
Name: Alan Jeffrey
Bio: Software Engineer at Roblox, working on gradual typing and type inference for the Luau programming language.
Country: United States
Personal website: http://asaj.org/
Research interests: Programming Languages, Type Systems, Security, Reactive Programming