SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
Tamás Szabó

Registered user since Thu 21 Apr 2016

Name: Tamás Szabó

Bio: Tamás Szabó works as a Software Engineer for itemis in Stuttgart, and he is a PhD student at JGU Mainz. His focus is on DSLs, incremental computing, and static program analysis.

Affiliation: University of Mainz / itemis

Personal website: https://szabta89.github.io

Research interests: Programming Languages, Program Analysis, Incremental Computing

Contributions

SPLASH 2020 A Systematic Approach to Deriving Incremental Type Checkers
Show activities from other conferences

SPLASH 2020-profile
View general profile