Ben Fiedler

I’m a second-year doctoral student with Mothy in the Systems Group 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 I believe that we have not found the right abstractions to deal with that complexity yet.

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

Currently, I am researching the following topics

• Formally verifying hardware isolation mechanisms
• Formally modelling the real-world cache coherence implementation on a ThunderX-1 chip