David Spies
Research Engineer at Matician
Berkeley, California, United States
Summary
👤
Senior🎓
Top SchoolDavid Spies is a research engineer based in Berkeley with 12 years of experience building robust, well-abstracted software across systems, analytics, and privacy-focused projects. He blends strong mathematical training (UC Berkeley BA, MS from University of Alberta) with deep practical experience at Google, LeapYear Technologies, and Matician, where he programs robots and builds production-grade analysis and experiments infrastructure. A language-first engineer, he favors Rust and Haskell for safety and expressiveness and has implemented correct-by-construction differentially private primitives and query-permission inference systems. David prioritizes modularity and pattern recognition to avoid fragile, unmaintainable code, and believes many high-profile security bugs are avoidable with better languages and conventions. He routinely works across Python, Go, C++, and advanced Haskell, moving ideas from research into scalable, audited implementations. Colleagues find he brings both rigorous formal thinking and pragmatic engineering to thorny security and data problems.
11 years of coding experience
6 years of employment as a software developer
Bachelor of Arts (B.A.), Mathematics and Computer Science, Bachelor of Arts (B.A.), Mathematics and Computer Science at University of California, BerkeleyMaster of Science - MS, Computing Science, Master of Science - MS, Computing Science at University of Alberta
English
Github Skills (86)
servant10
rust-lang10
stack10
binary-format10
cabal10
byte10
compiler10
rust10
ghc10
8-bit10
bit10
ide10
strict10
hackage9
cargo9
Programming languages (5)
Github contributions (5)
davidspies/aspplan
Aug 2018 - Sep 2018
My Master's thesis on domain-independent planning in ASP
Contributions:12 PRs, 247 pushes, 22 branches in 28 days
aspindependentmasterdomainthesis
davidspies/boolsat
Jul 2018 - May 2020
Contributions:106 pushes, 10 branches in 1 year 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.