Name:Alan Jeffrey

Bio:

Software Engineer at Roblox, working on gradual typing and type inference for the Luau programming language.

Country:United States

Affiliation:Roblox

Research interests:Programming Languages, Type Systems, Security, Reactive Programming