Hello, I'm Lennard Gäher!

I am a student in the preparatory phase of the Saarbrücken Graduate School of Computer Science. I obtained my Bachelor's degree from Saarland University in April 2020.

Currently, I am working with Derek Dreyer on advancing the Iris project and with Adish Singla on employing formal methods for machine teaching in education.

In 2021, I will join Derek Dreyer's group as a PhD student to research the verification of unsafe Rust code.

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

Github

Teaching experience