Jan Vitek - Director Of Language Theory at Northeastern University

Jan Vitek

Director Of Language Theory at Northeastern University

Brookline, Massachusetts, United States

Join Prog.AI to see contacts

Summary

👤

Senior

🎓

Top School

Jan Vitek is a director-level researcher and engineering leader specializing in programming languages, compilers, program analysis, and systems for security, real-time, and embedded environments. With over a decade of experience spanning academia and industry, he balances roles as Director of Language Theory at Epic Games and Professor at Northeastern University, bringing rigorous research to practical VM and compiler problems. His career includes leadership of ACM SIGPLAN, visiting positions at top labs (Oracle, IBM, Stanford, EPFL), and hands-on engineering at startups like Lacework and 0xdata, reflecting fluency across theory and production. He is known for work on ownership types and virtual machines, applying formal ideas to improve safety and performance in real-world systems. Based in Brookline, MA, Jan combines deep academic credentials (PhD in Informatique) with a track record of translating language theory into shipping technology. A witty self-description—Invent, Teach, Obfuscate—hints at a playful but rigorous approach to solving complex software problems.

13 years of coding experience

15 years of employment as a software developer

MSc, Computer Science, MSc, Computer Science at University of Victoria

PhD, Informatique, PhD, Informatique at University of Geneva

English, French, German, Czech

Github Skills (10)

h2oai10

curry6

llvm5

go5

jekyll4

hugo3

blockchain2

ethereum2

eval2

static-analysis1

Programming languages (9)

JavaC++CSSRRacketOCamlSCSSJavaScript

Github contributions (5)

janvitek/janvitek.github.io

Aug 2014 - Nov 2022

Jan Vitek's home page

Contributions:354 commits, 4 PRs, 340 pushes in 8 years 4 months

janhome-page

janvitek/JuliaGenerable

Nov 2023 - Aug 2024

Contributions:1 PR, 112 pushes in 8 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.

Request Free Trial