Skip to content
View szabta89's full-sized avatar
🚵‍♂️
🚵‍♂️

Block or report szabta89

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
szabta89/README.md

About

Engineer in academia and researcher in industry. I have worn two hats all along in my professional career. I have done my PhD studies in computer science while working in industry. I graduated in 2021 from JGU Mainz. My PhD advisor was Sebastian Erdweg, and I was a member of the Programming Languages Research Group. Currently, I work as a staff software/research engineer for GitHub. My professional interests are mostly centered around programming language design and implementation, static analysis, and all things related to (AI-assisted) developer tooling.

Prior to GitHub, I have worked as a principal engineer in the language engineering team of Workday. Even before that, I worked at itemis as a consultant, where I have helped a number of companies build (domain-specific) programming languages, compilers, and IDE tooling in a variety of domains.

I have obtained my B.Sc. and M.Sc. degrees in computer science from the Technical University of Budapest, where I have worked in the Critical Systems Research Group.

Publications

I regularly write about my technical work in the form of scientific publications, and I am also active in giving talks at academic & industry events. You can find my complete publication list on Google Scholar.

Contact

Either send me an e-mail or look me up on X if you want to connect.

Pinned Loading

  1. IncA IncA Public archive

    Incremental Program Analysis Framework

    Xtend 95 7

  2. codeql codeql Public

    Forked from github/codeql

    CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security (code scanning), LGTM.com, and LGTM Enterprise

    CodeQL