Sched.com Conference Mobile Apps
seL4 Summit 2024
seL4 Summit 2024
-
Saved To
My Schedule
Schedule
Simple
Expanded
Grid
By Venue
Speakers
Search
menu
Menu
Schedule
Speakers
Search
← Back
Roman Meier
ETH Zurich
Doctoral Student
Zurich, Switzerland
https://people.inf.ethz.ch/romameie
About me
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.
My Speakers Sessions
Thursday
, October 17
11:45 AEDT
seL4 as a CPU Driver for an OS for Real Computers
Banksia + Bluegum
Timothy Roscoe • Roman Meier • Ben Fiedler • Zikai Liu
Share Modal
Share this link via
Or copy link
Copy