Tamás Szabó
Staff Research Engineer at GitHub
Austria
Summary
🤩
Rockstar🎓
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 (48)
jetbrains10
software-design10
reviewer10
modeling-tool10
dsl10
discrete-event-simulation10
extensible10
embedded10
gh-extension10
copilot10
modeling10
mps10
github-copilot9
artifact9
parser9
Programming languages (8)
Github contributions (5)
szabta89/IncA
Dec 2017 - Oct 2023
Incremental Program Analysis Framework
Contributions:4 PRs, 203 pushes, 27 branches in 5 years 10 months
program-analysisdomain-specific-languageincremental-computationlanguage-workbenchmps
mbeddr/TypeChef
Feb 2015 - May 2017
Contributions:3 PRs, 54 pushes, 1 branch in 2 years 2 months
variabilitycheckingifdeftype-checking
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.