Ben Fiedler

I’m a third-year doctoral student with Mothy in the NetOS Group of the Systems Group Institute at ETH Zürich.

My research focuses applying formal methods at the hardware-software interface as part of the Sockeye project. Modern hardware platforms have become immensely complicated, and what is commonly understood as an “operating system” is but part of a larger de facto OS. My research aims to better understand and reduce the complexity of modern computing platforms with respect to memory addressing.

I am also part of the Enzian project, researching high-assurance board management controller software and administering the cluster of working machines.

Topics that I am researching include

• Characterizing and taming the hardware dumpster fire
• Building robust and formally verified baseboard management controllers
• Formally modelling and validating the real-world cache coherence implementation of a ThunderX-1 chip