I am a Ph.D. student in the Reactive Systems Group at the Computer Science Department at Saarland University and a member of the Graduate School of Computer Science. After receiving my Bachelor’s degree (B.Sc.) from Saarland University, I graduated in Computer Science at the University of Edinburgh (M.Sc.).
The Hierarchy of HyperlogicsWith Norine Coenen, Bernd Finkbeiner, and Christopher Hahn.
34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2019).
- The Hierarchy of Hyperlogics: Slides
at 34th Annual ACM/IEEE Symposium on Logic in Computer Science in Vancouver, Canada, June 2019.
- Subreviewer for TACAS’20
- Subreviewer for CSL’20
- Subreviewer for ATVA’19
- Undecidability of Weak Bisimulation Equivalence in Unary One-Counter Petri Nets Master Thesis, University of Edinburgh, 2017
received Claire Jones prize for the best overall degree of a female Computer Science M.Sc. student
- Verified Algorithms for Context-Free Grammars in Coq Bachelor Thesis, Saarland University, 2016
|Synthesizing Fair Exchange Protocols||Matthias Cosler, Bachelor Thesis|
For Reactive Systems Group
|Winter 2019/2020||Assistant for Core Course Verification|
|Summer 2019||Advisor for Proseminar Softwarezuverlässigkeit (Software Reliability)|
|Winter 2018/2019||Assistant for Seminar Hyperproperties|
As Student at Saarland University and University of Edinburgh
|Summer 2018||Coach for Mathematics Precourse at Saarland University|
|Summer 2017|| Lecturer and Coach for Mathematics Precourse at Saarland University
received the BESTE award for student initiatives and extraordinary commitment
|Summer 2017||Student TA for Theoretical Computer Science at the School of Informatics, University of Edinburgh|
|Winter 2016/2017||Student TA for Informatics I – Functional Programming at the School of Informatics, University of Edinburgh|
|Summer 2016||Coach for Mathematics Precourse at Saarland University|
|Summer 2016||Student TA for Concurrent Programming at the Dependable Systems and Software Chair|
|Winter 2015/2016||Organizer of Didactic Seminar for Re-exam Student TAs|
|Winter 2015/2016||Supervision Student TA for Programming 1 at the Programming Systems Lab|
|Summer 2015||Coach for Mathematics Precourse at Saarland University|
|Winter 2014/2015||Organizer of Didactic Seminar for Re-exam Student TAs|
|Winter 2014/2015||Student TA for Programming 1|
|Winter 2013/2014||Re-exam Student TA for Programmierung 1 at the Dependable Systems and Software Chair|