Markus
Germany
Summary
👤
SeniorMarkus Kuppe is a Principal System Software Architect specializing in specifications, formal methods, and distributed systems with 13 years of professional engineering experience and a long history of both research and product-focused roles. He moved from principal engineering and research positions at Microsoft to lead specification work at NVIDIA, blending academic rigor with production-grade software delivery. Markus’s background includes engineering stints at Adobe, Inria, and startup consulting, giving him a rare mix of systems implementation, training, and client-facing experience. He holds an M.S. in Computer Science from the University of Hamburg and has repeatedly bridged theory and practice—applying formal methods to real-world distributed systems. An active tinkerer and open-source dabler, he brings curiosity and a bit of historical perspective to design trade-offs and tooling choices. Based in the Greater Seattle Area, he excels at turning precise specifications into robust, auditable system software.
13 years of coding experience
Github Skills (36)
libtcod8
field-of-view8
password-manager8
digital-humanities8
historian8
keepass7
archives7
security7
yubikey7
windows7
linux7
collections7
macos6
pypy6
privacy6
Programming languages (6)
Github contributions (5)
Wolfenswan/ws_sss
Jul 2016 - Apr 2017
Contributions:24 commits, 24 pushes, 1 branch in 9 months
Wolfenswan/Unnamed-Roguelike
Jul 2018 - Mar 2021
Contributions:264 commits, 93 pushes, 4 branches in 2 years 7 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.