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
- Formally verifying hardware isolation mechanisms
- Formally modelling the real-world cache coherence implementation on
a ThunderX-1 chip
- Towards Trustworthy BMC Software on Modern
Ben Fiedler, David Cock, Michael Giardino, Timothy Roscoe
- A Formal Proof of the Chandy-Lamport Distributed Snapshot
Ben Fiedler, Dmitriy Traytel
Formal Proofs, July 2020
- Informal Methods
Fall 2021, Fall
- Formal Methods and Functional Programming
Spring 2020, Spring
- Introduction to Programming