Leander Tentrup

Leander Tentrup is a researcher in the Reactive Systems Group at Saarland University's Computer Science Department. He earned his Ph.D. in 2019 with a thesis titled Symbolic Reactive Synthesis, focusing on automated system design and verification. His work emphasizes formal methods for reactive systems, quantified Boolean formulas (QBF), and hyperproperty monitoring in cyber-physical systems.

Education: Ph.D. in Computer Science (Saarland University, 2019).

Research Interests: Formal verification, reactive synthesis, QBF solving, distributed systems, runtime monitoring, and security-critical systems. Notable contributions include award-winning solvers like CAQE and tools like RVHyper for hyperproperty monitoring.

Scientific Achievements: Won the Reactive Synthesis Competition and Competitive Evaluation of QBF Solvers. His research bridges theoretical advances in formal methods with practical tool implementations.

Teaching & Mentoring: Advised and tutored students in courses on formal verification, embedded systems, and security protocols. Active in mentoring seminar projects on hyperproperties and infinite games.

Labs & Teams: Core member of the Reactive Systems Group, contributing to the development of tools like StreamLAB, BoSy, and QuAbS for automated system design and analysis.