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:
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.