Doug Woos
Senior Software Engineer at Voltus
Berkeley, California, United States
Summary
👤
Senior🎓
Top SchoolDoug Woos is a Senior Software Engineer based in Berkeley with 15 years of experience building reliable, scalable systems across industry and academia. He holds a PhD in Computer Science from the University of Washington and has taught and managed large CS courses as a lecturer at Brown, sharpening his ability to communicate complex ideas to diverse audiences. In industry he has shipped cloud-native infrastructure and APIs, and now focuses on production-grade systems at Voltus. Doug is also an active contributor to formal methods tooling—his back-end work on the widely used Z3 theorem prover improved tactic execution and added a premise-selection filter to boost solver performance. That blend of deep research experience, teaching, and hands-on engineering gives him a rare ability to turn formal techniques into practical, performant software.
15 years of coding experience
5 years of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at University of WashingtonBachelor of Arts - BA, Computer Science, Bachelor of Arts - BA, Computer Science at Swarthmore College
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (5)
theorem-proving10
model-conversion10
cprogramming-language9
c-language9
computer-engineering8
Programming languages (14)
Github contributions (5)
Z3Prover/z3
Oct 2016 - Feb 2017
The Z3 Theorem Prover
Role in this project:
Back-end Developer
Back-end DeveloperContributions:12 commits, 2 PRs, 4 comments in 3 months
Contributions summary:Doug focused on enhancing the Z3 theorem prover's tactic system. Their contributions involved integrating thread labels within the tactic system to improve functionality and model conversion. Furthermore, the user added Sine Qua Non filtering, which is a premise selection tactic, to improve the system's efficiency and performance. The commits demonstrate a focus on modifying core components, including model conversion and tactic execution.
theorem-proverprovertheorem
uwplse/oddity
Jul 2017 - Nov 2021
A graphical, time-traveling debugger for distributed systems
Contributions:35 releases, 254 commits, 6 PRs in 4 years 4 months
travelingkebab-casegraphicaldistributed-systemsdebugger
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.