Duckki Oe
Staff Software Engineer at Apollo GraphQL
Bothell, Washington, United States
Summary
👤
Senior🎓
Top SchoolDuckki 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
19 years of employment as a software developer
Computer Science, Computer Science at Washington University in St. LouisPhD Computer Science, PhD Computer Science at University of IowaBS Computer Science, BS Computer Science at Yonsei University
Korean, English
Stackoverflow
31reputation
402reached
1answer
1question
Github Skills (77)
smart-contracts10
apollo10
backend10
static-analysis10
solidity10
high-performance10
vyper10
apollo-federation10
analyzer10
graph10
gateway10
mojo10
federation10
ethereum10
static-analyzer10
Programming languages (8)
Github contributions (5)
CertiKProject/slither-certik
Mar 2022 - Dec 2023
CertiK fork of Slither Analyzer
Contributions:80 reviews, 55 PRs, 76 pushes in 1 year 9 months
securityanalyzercertikslither
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.