Picture of me

Ben Fiedler


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

Systems Group Logo

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