Vighnesh Vijay
Software Engineer at Roblox
San Francisco, California, United States
Summary
🤩
Rockstar🎓
Top SchoolVighnesh Vijay is a software engineer with eight years of experience building developer-facing systems, currently shaping the Luau language's type system and runtime at Roblox to make game development safer and more productive. He previously contributed to R&D and tooling for global-scale titles at Riot Games, bringing full-stack experience across Go, TypeScript, React, and Unreal Engine pipelines. His background includes teaching and mentoring in computer science at the University of Pennsylvania and leading student engineering teams, reflecting strong communication and process skills alongside technical depth. Notably, he helped implement a new typing model and autocomplete for Luau’s TypeChecker—work that sits at the intersection of language design and practical IDE features. Based in San Francisco, he blends academic rigor from a Penn M.S.E. with hands-on product delivery for real-time, large-audience systems.
8 years of coding experience
3 years of employment as a software developer
M.S.E Computer Science, M.S.E Computer Science at University of Pennsylvania
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (28)
derived10
programming-language10
scripting10
lua10
scripting-language10
embeddable10
interpreter9
verification9
luau9
compiler9
formal-verification8
coq8
dune8
proof8
ocaml8
Programming languages (6)
Github contributions (5)
Vighnesh-V/pokesim-js
Nov 2017 - Dec 2017
Contributions:17 pushes, 1 branch in 1 month
Vighnesh-V/Personal-Web-Resume
Oct 2017 - Feb 2018
Contributions:3 pushes, 1 branch in 4 months
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.