Duckki Oe's Location
Bothell, WA, US
Duckki Oe's Work
- Senior Staff Software Engineer @ CertiK
- Senior Software Engineer @ Synopsys Inc
- Postdoctoral Associate @ Massachusetts Institute of Technology
- Research Assistant @ University of Iowa
- Software Developer @ Softmax
Duckki Oe's Education
- University of Iowa
PhD (Computer Science)
2008 - 2012 - Washington University in St. Louis
(Computer Science)
2006 - 2008 - 연세대학교 / Yonsei University
BS (Computer Science)
1996 - 2006
Duckki Oe's Skills
- computational logic
- formal methods
- functional programming languages
- dependent types
- Satisfiability Solver
- SMT
- Microsoft Visual Studio C++
- Eclipse
- Java
- JavaScript
Duckki Oe's Summary
Duckki Oe, based in Bothell, WA, US, is currently a Senior Staff Software Engineer at CertiK, bringing experience from previous roles at Synopsys Inc, MIT - CSAIL, The University of Iowa and Softmax. Duckki Oe holds a 2008 - 2012 PhD in Computer Science @ University of Iowa. With a robust skill set that includes computational logic, formal methods, functional programming languages, dependent types, Satisfiability Solver and more, Duckki Oe contributes valuable insights to the industry. Duckki Oe has 4 emails and 1 mobile phone number on RocketReach.
5 free lookups per month.
Not the Duckki Oe you were looking for?
Find contact details for 700 million professionals.
Top CertiK Employees
-
3
-
25
-
45+
-
31
-
34
-
22
-
5+1
-
21
-
33
-
31
-
1
How It Works
Get a Free Account
Sign up for a free account. No credit card required. Up to 5
free lookups / month.
Search
Search over 700
million verified professionals across 35 million companies.
Get Contact Info
Get contact details including emails and phone numbers
(business & personal).
G2Crowd Trusted
300K+
Plugin Users
