About me

I’m a PhD candidate at DistriNet since May 2019, supervised by Bart Jacobs and Amin Timany (Logic and Semantics Group, Aarhus University). My pronouns are “he/they” and my general research interests are:

Program VerificationAutomated Reasoning
Programming LanguagesType Systems
Static AnalysisNatural Language Processing

In particular, my research currently focuses on the intertwined topics of verifying termination of busy-waiting and I/O liveness:

Before I joined DistriNet, I obtained my Master’s degree from TU Darmstadt. During my Master’s I worked as student research assistant at Software Technology Group on type systems for multitier-languages such as ScalaLoci.