Roman Meier

Research area

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).