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 Verification | Automated Reasoning |
| Programming Languages | Type Systems |
| Static Analysis | Natural Language Processing |
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, accepted at CAV 2021 [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.