** I am looking for highly motivated students and postdocs! If you are interested in formal verification, hyperproperties, or automata learning, please get in touch! **
Students
MSc
- Chanan Ben Tal TBD, ongoing. Co-advised with Dror Fried.
- Ayham Omar Verifying Second-Order Hyperproperties, ongoing. Co-advised with Bernd Finkbeiner.
Bachelor
- Tim Rohde Complexity of Model-Checking Second-Order Hyperproperties on Finite Structures. Bachelor's Thesis, 2023. Co-advised by Bernd Finkbeiner.
- Peter Gastauer Structured Program Synthesis from TSL Specifications, Bachelor's Thesis, 2023. Co-advised by Noemi Passing.
- Janine Lohse Model Checking Temporal Stream Logic and Hyper-Temporal Stream Logic, Bachelor's Thesis, 2022. Co-advised by Jana Hofmann.
