Brussels / 3 & 4 February 2024

schedule

Martin Kröning

Photo of Martin Kröning

Martin is a PhD student at RWTH Aachen University. He has been working at the Institute for Automation of Complex Power Systems on the Rust-based Hermit operating system project for several years and is one of Hermit's core developers. Currently, he is researching operating system principles with novel programming language concepts, with a focus on memory safety and sound synchronization primitives for bare-metal environments.


Events

Title Day Room Track Start End
News from the Hermit Crab — From Soundness Foundations to GPU Virtualization
Saturday UD2.208 (Decroly) Microkernel and Component-based OS devroom 17:40 18:00