Hello, I'm Lennard Gäher!

I am a third-year PhD student in Derek Dreyer's Foundations of Programming group at MPI-SWS, mainly working on the verification of (unsafe) Rust programs and libraries. My research interests include (program) verification, separation logics, and concurrency.

I obtained my Bachelor's degree from Saarland University in April 2020.

You can reach me at gaeher (ASCII 0x40) mpi-sws (ASCII 0x2E) org.

Github

Projects

Teaching experience