People

Faculty, students, and researchers at YACL

Faculty

James Aspnes

James Aspnes

Faculty

Research: distributed algorithms

Joan Feigenbaum

Joan Feigenbaum

Faculty

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

Ben Fisch

Ben Fisch

Co-Director, Faculty

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

Michael Fischer

Michael Fischer

Faculty

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

Anurag Khandelwal

Anurag Khandelwal

Faculty

Research: distributed systems, encrypted databases, networking, and algorithms

Charalampos Papamanthou

Charalampos Papamanthou

Co-Director, Faculty

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

Zhong Shao

Zhong Shao

Faculty

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

Katerina Sotiraki

Katerina Sotiraki

Faculty

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

Fan Zhang

Fan Zhang

Faculty

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

Visitors

Harjasleen Malvai

Harjasleen Malvai

Visiting PhD Student

Research: secure and private identity on the internet

Postdoctoral Researchers

Tiantian Gong

Tiantian Gong

Research: secure distributed computations

Varun Madathil

Varun Madathil

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

Aviv Yaish

Aviv Yaish

Research: economics and security of distributed systems

PhD Students

Ben Merbaum

Ben Merbaum

Research: lattice-based cryptography, zero-knowledge proofs

Longfei Qiu

Longfei Qiu

Research: formal verification of distributed systems and consensus protocols

Weijie Wang

Weijie Wang

Alumni (Visitors)

Jiasun Li

Jiasun Li

Visiting Professor

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

Alumni (Postdocs)

Kaihua Qin

Kaihua Qin

Yale → University of Warwick (Assistant Professor)

Mengqian Zhang

Mengqian Zhang

Yale → Carnegie Mellon University (Postdoc)

Alumni (Students)

Arthur Lazaretti

Arthur Lazaretti

Yale → xAI

Georgios (Giorgos) Tsimos

Georgios (Giorgos) Tsimos

Yale → Pod Network

Vilhelm Sjoberg

Vilhelm Sjoberg

Yale → CertiK

Yujie Lu

Yujie Lu

Lulu Zhou

Lulu Zhou

Yale → EigenLayer