Jacob H. Haven

(2010-2014) Stanford University
Computer Science
Computer and Network Security, Cryptography, Advanced Topics in Operating Systems, Networking, Compilers, Program Analysis and Optimization, Computer Architecture, Programming Languages, Automata and Complexity Theory, Computability and Logic, Abstract Algebra, Set Theory
(2008-2010) Gatton Academy of Mathematics and Science
Mathematics and Computer Science
  • (May 2018–July 2018) Senior Software Engineer at Ansaro engineering back-end solutions for data-driven interviewing & hiring. Main technologies used include Go, Node.js, GraphQL, Twilio and Google Cloud Speech recognition for generating automated transcripts.
  • (February 2017–February 2018) Senior Trust Engineer at Atlassian building distributed microservices. Built a distributed, high reliability, low latency RBAC authorization store using Go, Cassandra, Redis.
  • (June 2016–December 2016) Distributed Systems Engineer working at Salesforce Infrastructure Security building PKI and cryptographic systems.
  • ​(September 2014–March 2016) Systems Engineer at CloudFlare working on web and Internet security, contributing to nginx/OpenSSL, Keyless SSL, CFSSL, and Go crypto/tls standard library
  • (January 2014–April 2014) Senior project building Distribute.js, a distributed computation platform in JavaScript (See GitHub repo here)
  • (October–December 2013) SDE Intern at Amazon building service for distributed data collection and long term analysis of hotspots in S3 cloud storage system
  • (July–September 2013) Security intern at Mozilla adding support for the SPDY protocol to the OWASP ZAP webapp pentesting tool (See presentation here)
  • (April–June 2013) Security intern at VMware adding Secure Boot to virtual UEFI firmware across all products by implementing public key based authentication in virtual storage device (See poster here)
  • (January–April 2013) Security Infrastructure intern at Facebook working on mobile security, including prevention, detection, and removal of Android malware
  • (June–September 2012) Undergraduate Research building and implementing Lattice-based, Fully Homomorphic Encryption based on [Brakerski12] with Stanford CURIS resulting in a paper and poster (See poster here, See code here)
  • (June–August 2011) Software Engineering Intern at Space and Missile Systems Center helping to create standards for Software Security, Assurance, and Reliability
  • (August 2009–January 2010) Undergraduate Research into Cellular Automata and Group theory (See paper)
  • (2012–2014) Judge (Level 2) for Magic: The Gathering managing logistics for 200-1000 person tournaments, arbitrating disagreements on rules and policy, and mentoring other judges

Areas of Interest

Computer Security design/testing, Cryptography, Distributed and Embedded systems programming/design, Networking, Programming languages, Theory of Computation, Algebra, Linguistics, Astronomy