Kevin Boos

Kevin Boos 目前是Futurewei的软件架构师，同时也是Project Robius的技术负责人。Project Robius是一个开源的Rust框架，旨在使用Rust开发沉浸式、功能全面的应用程序，这些应用程序能够无缝运行在多个平台上，包括移动设备。 在此之前，Kevin 创建了Theseus OS，这是一个从零开始用Rust编写的开源操作系统。Theseus OS重新思考了操作系统的结构和实现策略，特别强调利用语言机制实现编译时的安全性和可验证的正确性。 Kevin 在Rice大学获得了博士学位，研究方向为操作系统设计，其他兴趣领域还包括I/O虚拟化、设备驱动、移动VR、静态分析和安全语言等。