Experience

Galois, Inc.

• United States
• Software Development
• 1 - 100 Employee

• Research Engineer

  • Sep 2018 - Present

  Responsible for designing and implementing cryptographic protocols and systems for censorship circumvention leveraging dynamic library injection. Developed a nanosecond-scale logging library in Rust. Designed a cryptographic protocol and implementation a state-of-the-art interactive Zero-Knowledge Proof system in Rust, capable of proving over 10 million boolean gates per second. Designed algorithmic improvements to cryptographic two-party computation protocols. Designed and implemented a secure two-party WebAssembly interpreter. Advanced the state-of-the-art in cryptographic protocols used in risk-limiting audits for end-to-end encrypted elections. Performed research in Quantitative Information Flow. Show less



Google

• United States
• Software Development
• 700 & Above Employee

• Software Engineer Intern

  • May 2017 - Aug 2017

  Worked on improving Linux kernel performance by tuning feedback-directed optimization Worked on improving Linux kernel performance by tuning feedback-directed optimization



Dropbox

• United States
• Software Development
• 700 & Above Employee

• Software Engineer Intern

  • May 2016 - Aug 2016

  Added features, as well as performance and security improvements to Dropbox’s file preview systems; modified both backend and frontend code. Added features, as well as performance and security improvements to Dropbox’s file preview systems; modified both backend and frontend code.



Rally Health / Audax Health

• Software Engineering Intern

  • Jun 2014 - Aug 2015

  Responsible for architecting and implementing a system to perform distributed tracing across a web application with a service-oriented architecture (SOA). Responsible for architecting and implementing a system to perform distributed tracing across a web application with a service-oriented architecture (SOA).