Karl Smeltzer
Specialist Toolchain Engineer at Canonical
Hillsboro, Oregon, United States
Summary
🤩
Rockstar🎓
Top SchoolKarl Smeltzer is a Specialist Toolchain Engineer with 11 years of experience bridging research-grade programming language theory and production systems engineering. He holds a Ph.D. in Computer Science and has applied deep expertise in compilers, type systems, interpreters, and binary/static analysis across roles at Galois, Zapier, Vanta, and now Canonical. Comfortable from hardware and assembly through kernels to high-level languages, he ships robust toolchains and systems for auth, billing, and platform infrastructure. Karl’s background combines formal verification research with hands-on systems work, making him adept at turning rigorous correctness ideas into practical, deployable tooling. Based in Hillsboro, Oregon, he quietly blends academic depth with product-focused delivery, often surfacing subtle correctness gains that reduce long-term operational risk.
11 years of coding experience
14 years of employment as a software developer
Bachelor of Science (B.S.), Computing and Software Systems, Bachelor of Science (B.S.), Computing and Software Systems at University of WashingtonDoctor of Philosophy (Ph.D.), Computer Science, Doctor of Philosophy (Ph.D.), Computer Science at Oregon State University
English, German
Github Skills (177)
skeletal-animation10
3d10
game-development10
spine10
haskell10
runtimes10
game-engine10
linux10
editor10
mattermost10
emacs10
electron10
typescript10
vscode-extension10
vscode10
Programming languages (19)
Github contributions (5)
karljs/dotfiles
Jan 2015 - Jul 2026
Contributions:40 pushes, 1 branch in 11 years 8 months
karljs/emacs.d
Aug 2017 - Jun 2020
Contributions:57 pushes, 1 branch in 2 years 10 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.