Duckki Oe
Software Engineer at Apollo GraphQL
Seattle, Washington, United States
Summary
🤩
RockstarDuckki Oe is a Staff Software Engineer with 13 years of experience specializing in static analysis, formal methods, and software verification, currently driving engineering at Apollo GraphQL. He built and led teams that automated smart-contract audits at CertiK and contributed to the industry-leading Coverity static analysis product at Synopsys. With a PhD and MIT postdoc focused on SAT/SMT solvers and verified software (Coq/Lean), he blends deep research in theorem provers with pragmatic tool-building for real-world security. Early startup experience—shipping backend infrastructure that supported a million-user game service—gives him a rare combination of production-grade systems design and formal, proof-oriented rigor. Duckki’s work habitually targets reducing vulnerabilities before they reach production, making software measurably safer through automated, science-backed analysis.
13 years of coding experience
Github Skills (75)
parser10
apollo10
static-analysis10
solidity10
graphql-tools10
vyper10
apollo-federation10
graph10
gateway10
federation10
ethereum10
static-analyzer10
graphql10
modular9
python-development9
Programming languages (12)
Github contributions (5)
duckki/quantum-computing-lean
Nov 2020 - Jun 2026
Formalized quantum computing in Lean theorem prover
Contributions:17 pushes, 3 branches in 5 years 7 months
quantum-computingleanformal-proofs
duckki/coq-examples
Jan 2013 - Aug 2013
Contributions:21 commits in 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.