Kevin Boos
Kevin Boos is currently a principal software architect at Futurewei and the tech lead of Project Robius, an open-source Rust framework for developing immersive, fully-featured applications in Rust that run seamlessly across multiple platforms, including mobile. Previously, he created Theseus OS, an open-source OS written from scratch in Rust that rethinks the structure and implementation strategy of operating systems, with an emphasis on how to maximally leverage language mechanisms for compile-time safety and verifiable correctness. Kevin obtained his PhD from Rice University with a focus on OS design, with other interests spanning the domains of I/O virtualization, device drivers, mobile VR, static analysis, and safe languages.
Events
| Title | Day | Room | Track | Start | End |
|---|---|---|---|---|---|
| Robrix: a pure Rust multi-platform Matrix Client and more |
Sunday | K.4.201 | Matrix.org Foundation and Community | 16:00 | 16:30 |