Kai Mast
Senior Protocol Engineer at Provable
San Francisco, California, United States
Summary
🤩
Rockstar🎓
Top SchoolKai Mast is a Senior Protocol Engineer in San Francisco with 13 years of experience designing and implementing high-integrity distributed and storage systems. With a PhD from Cornell and a research stint at UW–Madison, he blends academic rigor with production engineering—building serverless WebAssembly runtimes, exploring key-value store internals, and teaching blockchain courses. He contributes to notable open-source projects from a Rust GUI library (iced) to HyperDex and OpenLambda, reflecting fluency across front-end, back-end, and systems-level work. Currently working on Aleo’s consensus protocol, he brings deep protocol and storage expertise plus a practical knack for cross-language integration and CI-driven platform engineering. An understated strength is his ability to move between research, teaching, and production code, turning novel systems ideas into deployable infrastructure.
13 years of coding experience
10 years of employment as a software developer
Doctor of Philosophy (Ph.D.), Computer Science, Doctor of Philosophy (Ph.D.), Computer Science at Cornell UniversityBachelor of Science (B.Sc.), Computer Science, Bachelor of Science (B.Sc.), Computer Science at Otto-Friedrich-Universität Bamberg
German, English
Stackoverflow
213reputation
8kreached
0answers
2questions
Github Skills (29)
docker10
key-value-store10
widgets10
rendering10
user-interface10
dockers10
render10
cicd10
go10
front-end-development10
serverless10
rust10
serverless-architectures10
elm9
graphic9
Programming languages (19)
Github contributions (5)
open-lambda/open-lambda
Feb 2021 - Dec 2022
An open source serverless computing platform
Role in this project:
Back-end & DevOps Engineer
Back-end & DevOps EngineerContributions:4 reviews, 41 commits, 68 PRs in 1 year 10 months
Contributions summary:Kai contributed to the serverless computing platform by implementing support for native and WebAssembly binaries, which enhanced the platform's flexibility. They modified the sandbox code to accommodate different runtime types and manage container proxies. Furthermore, the user worked on enabling a CI pipeline on the master branch by updating dependencies, integrating testing, and creating build targets.
golang-applicationserverlessdistributed-systemsmicroservicescomputing
iced-rs/iced
Jan 2022 - Feb 2022
A cross-platform GUI library for Rust, inspired by Elm
Role in this project:Software Engineer (focus on GUI & Application Development)
Software Engineer (focus on GUI & Application Development)Contributions:3 reviews, 7 commits, 3 PRs in 12 days
Contributions summary:Kai primarily contributed to the `iced-rs/iced` GUI library, addressing various aspects of the project. Their work included refactoring code, such as replacing `std::instant` with `instant` for improved performance. They also modified the codebase to address issues related to the clipboard, and to ensure the event loop runs correctly. Additionally, the user integrated `glow_glyp` into an example and updated the program state to return ignored events.
user-interfacewidgetgui-libraryrustelm
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.