People
Faculty, students, and researchers at YACL
Faculty
Joan Feigenbaum
Faculty
Research: security, privacy, anonymity, and accountability, internet algorithmics, computational complexity
Ben Fisch
Co-Director, Faculty
Research: verifiability and privacy in information systems, cryptographic proof systems, blockchains
Michael Fischer
Faculty
Research: cryptographic protocols and security, theory of parallel and distributed systems, and discrete algorithms
Anurag Khandelwal
Faculty
Research: distributed systems, encrypted databases, networking, and algorithms
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
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
Faculty
Research: theoretical cryptography, post-quantum cryptography, complexity theory, secure computation
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
Visiting PhD Student
Research: secure and private identity on the internet
Postdoctoral Researchers
Varun Madathil
Research: cryptography, anonymity and privacy-preserving multiparty protocols and their applications to real-world systems like blockchains
PhD Students
Josh Beal
Fatima Elsheimy
Giannis Kaklamanis
Zeyu (Thomas) Liu
Psi Vesely
Weijie Wang
Wenhao Wang
Yunhao Wang
Sen Yang
Hadas Zeilberger
Alumni (Visitors)
Jiasun Li
Visiting Professor
Research: fintech (with focus on blockchain), economics & computer science (cross-disciplinary), game theory, information economics, governance, and market microstructure