Ben Fiedler

Doctoral Student
STF G 222
Systems Group
Department of Computer Science
ETH Zürich

I’m a first-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