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.