Benjamin Meyer

Software engineer in Munich

My focus is on low-level systems that move large amounts of data, such as databases and data-intensive backends, combined with formal methods to build software that is both highly performant and provably correct. I favour insight over brute force, trusting elegant design to solve what raw computation alone cannot.

Highlights

Tools