Doktorand:in
International Symposium on Automated Technology for Verification and Analysis (ATVA) Leveraging Static Analysis: An IDE for RTLola
International Symposium on Automated Technology for Verification and Analysis (ATVA) Reactive Synthesis of Smart Contract Control Flows.