I'm a third-year doctoral student supervised by Mothy in the Systems Group at ETH Zurich.
My main research project is the development of the Kirsch Operating System, a new Operating System that understands the structure of the hardware it is running on, can configure the hardware as securely as possible, and make the implicit trust assumptions an OS makes for a particular set of hardware explicit.
I'm broadly interested in research that involves Operating Systems, with a sprinkling of Formal Methods on top: How to correctly manage a computer, or collection of computers, with actual confidence in the correctness of methods and code.
That said, I'm also excited by unusual hardware like the Enzian Research Platform and the management domains usually outside the scope of the "main" operating system like power management (how you actually turn a computer on).
Peer-Reviewed Publications
-
Specifying the de-facto OS of a production SOC
Ben Fiedler, Roman Meier, Jasmin schult, Daniel Schwyn, Tymothy Roscoe
Workshop Paper KISV'23 https://doi.org/10.1145/3625275.3625400
Non-Peer-Reviewed Publications
-
Declarative Dynamic Power Management
Master's Thesis
ETHZ Research Collection
Education
-
ETH Zürich —
Doctor of Science in Computer Science
2023 - ~2028
Advisor: Prof. Dr. Timothy Roscoe -
ETH Zürich —
Master of Science ETH (Computer Science)
2018 - 2022
Thesis: Declarative Dynamic Power Management -
ZHAW —
Bachelor of Science UAS (Computer Science)
2015 - 2018
Thesis: Speech to Text for Medical Record Applications (Industry Collaboration)