Kevin Boos
Principal Architect at Theseus Systems, LLC
Bellevue, Washington, United States
Summary
🤩
Rockstar🎓
Top SchoolKevin Boos is a Principal Architect and open-source systems engineer with 12 years of experience building novel OS and systems software, currently leading Project Robius at Futurewei and guiding development of Theseus OS. He founded Theseus Systems to steward the pure-Rust Theseus OS—an experimental, intralingual-design operating system that shifts resource management into the compiler—and continues to contribute deep kernel and task-management improvements. His background blends academic rigor (PhD, Rice University) and industry R&D across Microsoft, Nokia, and other labs, with practical wins like dramatically reducing post-failure downtime for distributed 5G workloads. Based in Bellevue, he pairs hands-on systems development in Rust with program leadership and startup formation, uniquely bridging compiler-level design ideas to real multi-platform application stacks.
13 years of coding experience
9 years of employment as a software developer
Doctor of Philosophy (PhD) Software Engineering, Doctor of Philosophy (PhD) Software Engineering at The University of Texas at AustinDoctor of Philosophy (PhD) Computer Engineering, Doctor of Philosophy (PhD) Computer Engineering at Rice UniversityChinese Intensive Language Program Mandarin Chinese, Chinese Intensive Language Program Mandarin Chinese at Beijing Institute of Education
Chinese
Stackoverflow
300reputation
18kreached
4answers
5questions
Github Skills (24)
filesystem10
memory-management10
kernel10
low-level-programming10
kernel-mode10
rust10
concurrency10
operating-system10
system-programming9
locking9
threaded8
data-structures8
multithreading8
data-structure8
hyper-threading8
Programming languages (6)
Github contributions (5)
theseus-os/Theseus
Mar 2017 - Jan 2023
Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between compiler and hardware by maximally leveraging the power of language safety and affine types. Theseus aims to shift OS responsibilities like resource management into the compiler.
Role in this project:
Back-end Developer & System Architect
Back-end Developer & System ArchitectContributions:843 reviews, 1427 commits, 852 PRs in 5 years 10 months
Contributions summary:Kevin implemented improvements to the Theseus operating system's core functionality by enhancing the system's ability to manage tasks efficiently. Their contributions included improving the access speed of current task information, restructuring the task management system to include proper task removal and ensuring the integrity of task states during context switching. In addition to this, the user was also working on the file system functionality.
compilerhardwarerustoperating-systemkernel
project-robius/robius-open
Apr 2024 - Jul 2025
Rust abstractions for multi-platform opening of URIs
Contributions:1 review, 6 PRs, 15 pushes in 1 year 2 months
rustintentsharexdg-openuri
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.