Back to Home

Education

B.A. Computer Science and Math

UMass Amherst

Skills

  • Cryptography
  • Security
  • Distributed Systems
  • Rust
  • Haskell
  • TypeScript/JavaScript
  • Internet Standards
  • Web Servers
  • PostgreSQL
  • Kubernetes
  • Smart Contracts

Professional Experience

Senior Software Engineer

Google Chrome AI Security
  • Tech lead developing private authentication protocols for the web using zero-knowledge proofs.
  • Drafted and implemented Anonymous Tokens with Hidden Metadata standard (implementation). Deployed to protect billions of users from spam texts via RCS/iMessage integration.
  • Drafted and implemented Anonymous Credit Tokens standard (implementation), advancing flexibility of privacy-preserving authentication.
  • Designed the Private Proof API for anti-fraud in a post-third-party-cookie web. Led three engineers to implement in Chrome. Drafted novel anonymous credential primitives.
  • Reviewed web proposals for privacy and defensibility, recommending improvements.
  • Chair of W3C Anti-Fraud Community Group.

Software Engineer / Scientist

Casper Labs
  • Co-designed novel consensus algorithm (presented at FOCODILE 2022). Implemented in Casper node, deployed in 2.0 upgrade.
  • Researched zero-knowledge use cases and proposed network optimizations.
  • Consulted C-suite on network security and scalability strategy.

Software Engineer (Team Lead)

SimSpace
  • Designed and implemented Attack Designer program.
  • Designed consensus-lite protocol for multi-datacenter cluster coordination.
  • Backend security lead: identified and fixed cryptographic vulnerabilities.