Tamás Szabó
Staff Research Engineer at GitHub
Austria
Summary
👤
Senior🎓
Top SchoolTamás Szabó is a Staff Research Engineer at GitHub Next with 14 years of experience bridging academia and industry to push the future of developer tooling. He holds a summa cum laude PhD in computer science and has a deep focus on programming language design, static analysis, and AI-assisted developer experiences, contributing to Copilot-X prototypes like Voice, NES, Workspace, and Spark. Previously a principal engineer at Workday and a language-engineering consultant at itemis, he has designed domain-specific languages, compilers, and runtimes that improve engineer productivity. Comfortable switching between research and production concerns, he mentors teams and architects language ecosystems end-to-end. Based in Austria, he balances rigorous research instincts with pragmatic product-minded delivery—and, when not coding, you’ll likely find him mountain biking or crossfitting. Notably, he completed significant PhD work while consulting remotely, underscoring his ability to juggle complex, real-world projects alongside deep scholarly work.
14 years of coding experience
9 years of employment as a software developer
Doctor of Philosophy (PhD), Computer Science, Summa cum laude, Doctor of Philosophy (PhD), Computer Science, Summa cum laude at Johannes Gutenberg University MainzTechnischen Universität DarmstadtMaster of Science (MS), Computer Science, Dependable System Design, Distributed Systems, excellent, with honors, Master of Science (MS), Computer Science, Dependable System Design, Distributed Systems, excellent, with honors at Budapesti Mûszaki és Gazdaságtudományi Egyetem / Technical University of BudapestDoctor of Philosophy (PhD), Computer Science, Programming Languages Group, Doctor of Philosophy (PhD), Computer Science, Programming Languages Group at Delft University of Technology
Hungarian, German, English
Github Skills (60)
software-design10
modeling-tool10
dsl10
meta10
discrete-event-simulation10
extensible10
embedded10
resharper10
modeling10
mps10
reviewer9
intellij9
system-programming9
jetbrains9
parser9
Programming languages (6)
Github contributions (5)
mbeddr/TypeChef
Feb 2015 - May 2017
Contributions:3 PRs, 54 pushes, 1 branch in 2 years 2 months
variabilitycheckingifdeftype-checking
szabta89/mps-workshop
Jan 2018 - Nov 2021
MPS Workshop Material - Reference Implementation
Contributions:34 commits, 1 PR, 35 pushes in 3 years 10 months
workshop-materialworkshopmpsreference-implementationreference-material
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.