Sep 2011 -
Jun 2017
Stanford University, CA, USA
Doctor of Philosophy in Computer Science, GPA: 4.0/4.0
Phd Thesis “Studies in secure computation: post-quantum, attribute-based and multi-party”
Scientific advisor - Prof. Dan Boneh
Sep 2009 –
June 2011
University of the Russian Academy of Sciences, St.Petersburg, Russia
Master of Science with Honors, GPA 4.0/4.0
Specialization: Applied Mathematics and Physics
MSc Thesis: “Optimal Deterministic Heuristic Algorithm for the Image of an Injective Function”
Scientific advisor - Prof. Dmitriy Itsykson
Sep 2005-
May 2009
St.Petersburg State Polytechnical University, Russia
Bachelor of Science with Honors, GPS 3.9/4.0
Specialization: Applied Mathematics and Computer Science
BSc Thesis: “Enumeration of Permutation Binomials over Finite Fields”
Scientific advisor - Prof. Nikolai Vasiliev
Sep 2001-
May 2005
Physics and Mathematics Lyceum №30,
St.Petersburg, Russia

Professional Experience

May 2022 -
Research Partner
Andreesen-Horowitz, a16z crypto, USA
Cryptography for blockchains.
A Survey of Proof-of-Stake Blockchain Designs: youtube
Long-range Attacks on Proof-of-Stake Blockchains: youtube
PoS Blockchains: podcast with Tim Roughgarden and Sonal Chokshi
On-chain trusted setup ceremony: blog post, github repo, technical report
Feb 2019 -
May 2022
Research Scientist
Novi/Facebook, USA
Crypto research for the public chain. Long-range attacks on Proof-of-Stake consensus, signatures (EdDSA and BLS), zero-knowledge proofs, proofs of solvency, hash functions, post-quantum security.
Sep 2011 -
Jun 2017
Research Assistant
Stanford University, USA
Discovered “Fully Key-Homomorphic Encryption”, based on random lattices. Developed a secure protocol for accountable warrants execution. Collaborated with Google on building a new generation of quantum-secure ciphersuites. Collaborated with Technicolor on building systems for privacy preserving data-mining.
Software Engineer Intern
Google, Mountain View, USA
Developed a new key exchange algorithm for TLS based on random lattices. Implemented in C and evaluated on emulated internet traffic. Co-authored NIST proposal for post-quantum cryptography standard:
Jun 2012 -
May 2013
Technicolor, Palo Alto, USA
Built a system for privacy preserving data-mining (ridge regression and matrix factorization) on massive datasets, containing >100,000,000 entries. Implemented in Java and evaluated on real datasets. 7 US patents pending.
Sep 2008 -
Jun 2011
Software Engineer
JetBrains/SwiftTeams, St.Petersburg, Russia
Built new functionality for development environments IntelliJ IDEA, Php/Web-Storm. Developed support for ColdFusion, Smarty; PHPUnit, CFUnit, MXUnit.
Dec 2009 -
Jun 2011
Research Assistant
Laboratory of Mathematical Logic at PDMI RAS, Russia
Studied heuristic decision algorithms, built an optimal algorithm for injective functions.
Nov 2006 -
Feb 2008
Software Engineer
Transas, St.Petersburg, Russia
Developed real-time computer graphics algorithms for marine and aviation training systems. Programmed pixel and vertex shaders. Designed and implemented algorithms for sea surface rendering via projective grid, underwater effects, stereo rendering, volumetric clouds. Worked with C++, OpenGL, Cg.
Sep 2008 -
Dec 2009
Research Assistant
Laboratory of Representation Theory at PDMI RAS, Russia
Studied permutation binomials over finite fields and their applications to cryptography.