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:

• Ghost Signals: Verifying Termination of Busy-Waiting [Paper] [TR] [Bibtex]

• A Separation Logic to Verify Termination of Busy-Waiting for Abrupt Program Exit, accepted at FTfJP 2020 [Paper] [TR] [Bibtex] [Slides]

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.