I am looking for highly motivated students and postdocs!
If you are interested in formal verification, hyperproperties, causality or automata learning, please send me an email, including your CV

• Aviv Elkoni -- MSc student. 
  Learning Temporal Hyperproperties.
• Chanan Ben Tal -- MSc student. 
  Co-advised with Dror Fried.
• Nadav Rutman Moshe --  Bachelor's project. 

• Nadav Rutman Moshe --  Research intern, 2026. 

• Ayham Omar -- MSc student, 2025. 
  Verifying Second-Order Hyperproperties.
  Co-advised with Bernd Finkbeiner.
• Tim Rohde -- Bachelor's Thesis, 2023.
  Complexity of Model-Checking Second-Order Hyperproperties on Finite Structures.
  Co-advised by Bernd Finkbeiner.
• Peter Gastauer -- Bachelor's Thesis, 2023.
  Structured Program Synthesis from TSL Specifications.
  Co-advised by Noemi Passing.
• Janine Lohse -- Bachelor's Thesis, 2022.
  Model Checking Temporal Stream Logic and Hyper-Temporal Stream Logic.
  Co-advised by Jana Hofmann.