Jan 2021 – Mar 2022 · 1 yr 2 mos

Mar 2020 – Jan 2021 · 10 mos

Feb 2017 – Mar 2020 · 3 yrs 1 mo · Santa Clara, CA

• Designed/implemented (in Java, on Kubernetes) a cloud-based, distributed system that detects known vulnerabilities on companies' systems. Wrote formal correctness proofs (with Coq) for parts of the feature.
• Designed/implemented a cloud-based data analytics solution for use by our data scientists, using AWS services including Elastic MapReduce, Lambda, and Cloud Formation.
• Proposed/designed/implemented (in Go and React) an internal webapp (running in Docker) with which managers can see the results of automated tests organized by product version.
• Made various security analytics features using Spark and Kafka Streams.

Jan 2014 – Feb 2017 · 3 yrs 1 mo · Sunnyvale, CA

• Played key role in designing, and sole role in implementing (using C/C++ and the OpenSSL library), a system for components to securely authenticate and communicate with each other.
• Designed/implemented (in C) a firewall-like module that allows users to define rules to be applied to high-volume input data. Developed heuristics to remove redundancies in rules before applying them. Made formal proofs (with PVS) that these heuristics would not alter the behavior of the rules.
• Implemented (in Angular) the UI for the above module.
• Designed/implemented (in Python) a daemon that periodically checks for error conditions on the system and raises alarms. It includes a framework whereby other engineers can easily define new checks.
• Designed/implemented (in C++) a daemon that dynamically modifies Nginx config files, prevents those with unsatisfied dependencies (e.g., missing certificates) from being loaded, and restarts Nginx as needed. This greatly improved the stability of our product's startup process.

Aug 2011 – Aug 2013 · 2 yrs

Aug 2007 – Aug 2009 · 2 yrs · Greater Cleveland

• Maintenance and enhancement of Java Web applications

Jan 2005 – Jan 2007 · 2 yrs