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

Block or report szabta89

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
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 research engineer at GitHub Next, which is the research division of GitHub exploring the future of software engineering. 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 twitter if you want to connect.

Pinned Loading

  1. IncA IncA Public archive

    Incremental Program Analysis Framework

    Xtend 90 6

  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