kevinaboos
Open-source Rust developer. Principal Architect at @futurewei-tech. Tech lead for @project-robius. Creator of @theseus-os. PhD, Rice University
Funding Links: https://github.com/sponsors/kevinaboos
- Name: Kevin Boos
- Location: Bellevue, Washington
- Company: @futurewei-tech, @theseus-os
- Kind: user
- Followers: 172
- Following: 4
- Total stars: 79
- Repositories count: 28
- Created at: 2022-11-03T06:14:41.915Z
- Updated at: 2025-03-09T20:29:54.137Z
- Last synced at: 2025-03-09T20:29:54.137Z
GitHub Sponsors Profile
Hello! I'm Kevin, an independent low-level software developer, computer scientist, and academic that focuses on open-source Operating Systems projects like Theseus OS.
I currently live in the Seattle area, but I got my PhD in Computer Engineering (specifically OS design) from Rice University in Houston, TX and my undergraduate at University of Texas in Austin.
Sponsorship allows me to continue contributing to open-source projects in the low-level, embedded, and OS spaces, as well as various related Rust projects. I work on open-source projects in a full time capacity and do not have other employers. I will use sponsorship funds to continue the mission of the Theseus Systems organization, which enables myself and other collaborators in the open-source community to work on Theseus in an independent manner.
Sponsors can more closely collaborate with myself and the other industry and academic partners that work on Theseus OS. Also, we'll prioritize sponsors' suggestions and requests for new features and high-level directions in Theseus OS.
- Current Sponsors: 0
- Past Sponsors: 0
- Total Sponsors: 0
- Minimum Sponsorship: $5.00
Featured Works
theseus-os/Theseus
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 anโฆ
Language: Rust - Stars: 2977