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 |