Jacob Salzberg
PHD Student at New York University
New York, New York, United States
Summary
🤩
Rockstar🎓
Top SchoolJacob Salzberg is a PhD student in Computer Science at NYU working with Prof. Thomas Wies, specializing in programming languages, static analysis, dependent types, abstract interpretation, and type systems. With nine years of software experience spanning research positions, teaching, and internships, he blends rigorous academic research with practical engineering—evident in projects like a compiler/interpreter for FSMs and a Rosie pattern-language lint tool. He has applied his skills in industry as an Applied Science Researcher at Amazon and improved real-world web performance at AX Control by redesigning front-end stacks and server settings. Comfortable across languages from Lua and C to JavaScript and Python, he brings both formal methods depth and hands-on performance and tooling experience. Based in New York, Jacob pairs a strong publication-oriented research trajectory with a knack for shipping reliable, testable systems.
9 years of coding experience
2 years of employment as a software developer
Bachelor of Science - BS, Computer Science, Bachelor of Science - BS, Computer Science at North Carolina State UniversityDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at New York University
Github Skills (133)
rust10
verification10
adapter10
debug10
model-checking10
gnu10
xfs9
linux9
emacs9
swift9
elisp9
powershell9
openbsd9
lua9
entity-component9
Programming languages (12)
Github contributions (5)
jsalzbergedu/pegreg
May 2020 - Sep 2023
Contributions:85 pushes, 2 branches, 2 issues in 3 years 4 months
jsalzbergedu/etoile-emacs
Jan 2019 - Jul 2022
Contributions:103 commits, 66 pushes, 1 branch in 3 years 6 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.