Lennard Gäher

Lennard Gäher is a fourth-year PhD student in the Foundations of Programming group at the Max Planck Institute for Software Systems (MPI-SWS), advised by Derek Dreyer. He holds a Bachelor's degree in Computer Science from Saarland University (2020). His research focuses on program verification, separation logics, and concurrency, with contributions to frameworks like RefinedRust and Simuliris. He has been recognized with the 'Busy Beaver' teaching award for his work as a course designer and lecturer in theoretical computer science at Saarland University.

Teaching highlights include co-designing the second half of Saarland's Semantics course (WS 21/22), where he mechanized course material in Coq (thousands of lines of code), and leading a Mathematics Preparatory Course for 150+ students (WS 20/21). His academic roles include multiple teaching assistant positions across core computer science courses since 2017.

His publications span PLDI, POPL, and ICFP, addressing challenges in Rust verification, separation logic frameworks, and concurrency theory. Key projects include RefinedProsa (response-time analysis integration) and Quiver (abductive inference tools in Coq).