Jeffrey Zhang
Software Engineer at Roblox
California, United States
Summary
🤩
Rockstar🎓
Top SchoolJeffrey Zhang is a software engineer based in California with 11 years of experience, currently building language tooling at Roblox. He focuses on core language features and interpreters—contributing to the Luau scripting language by prototyping parts in Agda, implementing a prototype interpreter, and extending type/debug tooling like typeToString. His background spans frontend and component work from internships at AbbVie, eBay, and a prior Roblox internship, giving him a practical full-stack perspective alongside deep language and tooling expertise. Jeffrey pairs formal-methods-informed prototyping with production-facing engineering, making him comfortable translating language research into maintainable implementation.
11 years of coding experience
1 year of employment as a software developer
University of Illinois Urbana-Champaign
Github Skills (7)
type-system10
lua10
json10
scripting-language10
programming-language10
agda10
interpreter10
Programming languages (19)
Github contributions (5)
luau-lang/luau
Mar 2021 - Nov 2022
A small, fast, and embeddable programming language based on Lua with a gradual type system.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:109 reviews, 44 commits, 97 PRs in 1 year 8 months
Contributions summary:Jeffrey primarily focused on implementing core language features and tooling for the Luau language. Their contributions include prototyping a subset of Luau in Agda, involving the creation of a JSON parser and the translation of Luau syntax into an Agda representation. They also implemented a prototype interpreter and added a typeToString function, extending the capabilities of the language's core functionality and facilitating potential debugging and analysis. Further work involved adding syntax for optional type annotations and refactoring function application logic.
luaprogramming-languagetype-systemscripting-language
asajeffrey/mozjs
Nov 2015 - May 2019
Servo's SpiderMonkey fork
Contributions:164 pushes, 13 branches in 3 years 6 months
steamservospidermonkey
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.