I am a researcher working on static program analysis at GitHub Next currently. Zooming out a bit, my goal is to make the lives of software engineers easier with clever developer tooling. To this end, I am interested in (domain-specific) programming languages, compilers, IDEs, and static analyses.
Prior to joining GitHub, I have worked several years as a language engineer helping various companies build domain-specific languages and the tooling around them. I have a PhD in computer science from JGU Mainz where I was a member of the Programming Languages research group. My research was centered around the automatic incrementalization of static analyses.