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.
12 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 (7)
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.
kernelshiftcompilersafetygap
kevinaboos/makepad
Dec 2023 - Apr 2025
Makepad is a creative software development platform for Rust that compiles to wasm/webGL, osx/metal, windows/dx11 linux/opengl
Contributions:1 review, 2 PRs, 110 pushes in 1 year 3 months
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.