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 research interests are program verification, programming languages and type systems in general. 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.