Research: distributed algorithms

Research: security, privacy, anonymity, and accountability, internet algorithmics, computational complexity

Research: verifiability and privacy in information systems, cryptographic proof systems, blockchains

Research: cryptographic protocols and security, theory of parallel and distributed systems, and discrete algorithms

Research: dis­trib­uted sys­tems, encrypted data­bases, net­work­ing, and al­gorithms

Research: verifiable and privacy-preserving computations, private and scalable blockchains and cryptocurrencies, building real-world privacy-preserving systems

Research: programming languages and operating systems, with a focus on language-based support for safety and security, certified system software, certified programming and compilation, formal methods, proof automation, concurrency, coordination, and type systems

Research: theoretical cryptography, post-quantum cryptography, complexity theory, secure computation

Research: security, privacy and scalability of decentralized systems, in particular those enabled by blockchains and trusted execution environments (TEEs)

Research: secure and private identity on the internet

Research: secure distributed computations

Research: verifying compilers, real-time distributed systems, and consensus protocols

Research: cryptography, anonymity and privacy-preserving multiparty protocols and their applications to real-world systems like blockchains

Research: economics and security of distributed systems

Research: lattice-based cryptography, zero-knowledge proofs

Research: fintech (with focus on blockchain), economics & computer science (cross-disciplinary), game theory, information economics, governance, and market microstructure

Yale → University of Warwick (Assistant Professor)

Yale → Carnegie Mellon University (postdoc)

Yale → CertiK

Yale → xAI

Yale → CertiK

Yale → Pod Network

Yale → EigenLayer