Registered user since Sun 18 Dec 2016
Software Engineer at Roblox, working on gradual typing and type inference for the Luau programming language.
Research interests:Programming Languages, Type Systems, Security, Reactive Programming
|HATRA 2021||Committee Member in Program Committee within the HATRA 2021-track|
|REBLS 2021||Committee Member in Program Committee within the REBLS 2021-track|
|Show activities from other conferences|
Using general profile