Find Academic Supervisors

Rajeev AlurView profile

Professor

• Formal Methods
• Artificial Intelligence
• Cyber-Physical Systems
• +6 more

Rajeev Alur is the Zisman Family Professor in the Department of Computer and Information Science at the University of Pennsylvania, leading the School of Engineering and Applied Science. He is the Founding Director of the ASSET Center for Trustworthy AI and a member of the PRECISE Center. His research focuses on formal methods for system design, integrating AI, cyber-physical systems, and machine learning with logical reasoning to ensure safety in autonomous systems. Alur has held leadership roles in major NSF projects like ExCAPE and has directed the Embedded and Multi-Scale Systems (EMBS) program. His research interests span formal verification, temporal logics, programming abstractions, and synthesis techniques. Notable contributions include the development of Nested Words (visibly pushdown languages), streaming string transducers, and tools like AutomataTutor for education. He has advised over 60 PhD students and postdocs, many of whom now hold academic and industry leadership positions. Alur’s awards include the 2024 Knuth Prize and the 2016 Alonzo Church Award. His work on Verisig and compositional verification of neural networks has advanced safety-critical AI applications. He teaches foundational courses like CIS 2620 and develops educational tools, emphasizing both theoretical rigor and practical impact. Key projects include the ASSET Center’s focus on trustworthy AI, integration of logical specifications in reinforcement learning, and formal verification of closed-loop systems with neural components. His publications span over 350 papers, with recent work addressing neurosymbolic learning, security in large language models, and efficient neural network verification.

Nate FosterView profile

Professor

• Programming Languages
• Networking
• Databases
• +5 more

Nate Foster is a Professor of Computer Science at Cornell University and currently serves as the Associate Dean for Research in the Ann S. Bowers College of Computing and Information Science. He is also a Visiting Researcher at Jane Street and served as a Visiting Professor at École Polytechnique Fédérale de Lausanne during the 2023-24 academic year. His research uses ideas from programming languages to solve problems in networking, databases, and security. BA in Computer Science, Williams College (2001) MPhil in History and Philosophy of Science, University of Cambridge (2008, all work completed in 2003) PhD in Computer and Information Science, University of Pennsylvania (2009) Foster's research focuses on developing languages and tools that make it easy for programmers to build secure and reliable systems. His current work centers on the design and implementation of languages and tools for programmable networks, particularly using the P4 language. His past work includes bidirectional languages (also known as 'lenses'), database query languages, data provenance, type systems, mechanized proof, and formal semantics. His research group at Cornell has made significant contributions to network verification, software-defined networking, and formal foundations for programmable data planes. Analysis of Foster's recent publications reveals a strong focus on network verification and programming language foundations for networking. His work consistently applies formal methods to practical networking problems, with a particular emphasis on the NetKAT and P4 languages. Over the past five years, his research has evolved toward more complex network verification techniques, including infinite state verification, active learning of network models, and dependently-typed approaches to network programming. His work bridges theoretical computer science with practical networking systems, making formal methods accessible to network engineers. ACM Fellow (2025) ACM SIGPLAN Robin Milner Award (2023) ACM SIGCOMM Rising Star Award (2018) NSF CAREER Award (2013) Alfred P. Sloan Fellowship (2012) Multiple distinguished paper awards across top conferences including POPL, PLDI, and SIGCOMM Foster has advised numerous PhD and Master's students who have gone on to prominent positions in both industry and academia, with many continuing work in programming languages and networking. He has led multiple significant research grants including an NSF CAREER Award and has been involved in the P4 Language Consortium, serving as Chair of the P4 Language Governing Board. His work has been supported by various organizations including NSF, DARPA, and industry partners like Intel and Jane Street. Foster is also active in the programming languages research community, serving on numerous program committees and as Vice Chair of DARPA's Information Science and Technology (ISAT) study group. Foster leads a vibrant research group at Cornell focused on programming languages for networks, with collaborators from academia and industry. His group has developed several influential tools and frameworks including NetKAT, Petr4, and KATch. They maintain strong connections with the P4 community and work closely with industry partners to ensure their research has practical impact on real-world networking systems.

Jelani NelsonView profile

Professor

• Theoretical Computer Science
• Algorithms
• Data Streams
• +8 more

Jelani Nelson is a Professor and Department Chair in the UC Berkeley EECS Department (College of Engineering). His work focuses on theoretical computer science , particularly algorithms , data streams , dimensionality reduction , and privacy-preserving computation . Advising : Current students include Ishaq Aden-Ali, Xin Lyu, Mihir Singhal, and Hongxun Wu (co-advised with leading researchers). Education : PhD from MIT (George M. Sprowls Award), M.Eng from MIT. Research Highlights : Developed foundational results in Johnson-Lindenstrauss dimensionality reduction (optimality, sparse embeddings). Advancements in differential privacy (lower bounds, private mean estimation, threshold learning). Pioneering work on streaming algorithms for heavy hitters, norm estimation, and graph problems. Innovations in compressed sensing and oblivious subspace embeddings . Scientific Awards : PODS Best Paper Award (2011, 2022) IBM Pat Goldberg Memorial Best Paper Award (2011) George M. Sprowls Award for MIT doctoral thesis (2009) NeurIPS 2020 Spotlight Presentation

Anoosheh HeidarzadehView profile

Assistant Professor

• Information and coding theory
• Private and secure computing
• Fault-tolerant distributed computing
• +3 more

Anoosheh Heidarzadeh is an Assistant Professor in the Department of Electrical and Computer Engineering at Santa Clara University's School of Engineering. He holds a Ph.D. in Electrical and Computer Engineering from Carleton University (2012) and previously served as a Visiting Assistant Professor at Texas A&M University (2018-2022) and Associate Research Scientist at the same institution (2015-2017). His postdoctoral research was conducted at the California Institute of Technology (2013-2014). His research focuses on: Information and coding theory : Fundamental limits of data transmission and storage systems Private and secure computing : Protocols for confidential data processing in networked environments Fault-tolerant distributed systems : Resilient computation frameworks for large-scale applications Distributed machine learning : Scalable algorithms for collaborative learning architectures Recent publications (2021-2022) demonstrate strong emphasis on privacy-preserving computation (covering 73% of articles) and distributed coding techniques (67% of articles), with innovations in private information retrieval, matrix operations, and group testing methodologies. Theoretical contributions dominate (87%), while 13% address applied challenges like COVID-19 screening.

• Data Mining
• Database Systems
• Explainable AI
• +5 more

Elena Maria Baralis is a Full Professor at the Department of Control and Computer Science (DAUIN) at the Polytechnic University of Turin. She serves as Pro-Rector, member of the Board of Directors (without voting rights), member of the Academic Senate (without voting rights), and coordinator of the University's Permanent Observatory for Monitoring the Academic Sector. She chairs the Control and Computer Engineering Department and previously chaired the Computer Engineering School from October 2012 to October 2018. Her research interests focus on database systems and data mining, specifically explainable AI, bias detection in data analytics, and machine learning algorithms for big data. Her work spans various application domains including predictive maintenance, Industry 4.0, and healthcare. Recent publications demonstrate her expertise in speech processing, bias mitigation, and innovative neural network architectures like Kolmogorov-Arnold Networks. Her research output shows a clear trend toward addressing fairness and explainability in AI systems while exploring novel approaches to speech and language understanding. Professor Baralis has received significant recognition including becoming a Fellow of the Academy of Sciences of Turin in 2017. She has served as Editor-in-Chief for IEEE Internet of Things Journal (2016-2019) and Knowledge and Information Systems (2014-present). She actively mentors doctoral students including Claudio Savelli (researching Machine Unlearning), Eleonora Poeta, Giuseppe Gallipoli, Alkis Koudounas, and others. Her research is supported by numerous projects including AI4CTI (Artificial Intelligence for Cyber Threat Intelligence, 2025-2028), Smart manufacturing driven by Machine Learning in Industry 4.0 (2019-2020), and I-REACT (2016-2019).

Charalampos PapamanthouView profile

Associate Professor

• Computer Security
• Applied Cryptography
• Verifiable Computations
• +5 more

Charalampos Papamanthou is an Associate Professor of Computer Science at Yale University, where he also serves as Co-director of the Yale Applied Cryptography Laboratory and a member of the Yale Institute for Foundations of Data Science. He holds affiliations with the Yale Center for Algorithms, Data, and Market Design. Additionally, he is Chief Scientist at Lagrange Labs. His research focuses on computer security and applied cryptography, particularly verifiable and privacy-preserving computations, leakage-abuse attacks on searchable encryption, and scalable blockchains/cryptocurrencies. He has advised numerous students and postdocs, and his work is supported by NSF, Protocol Labs, and JP Morgan. Research Interests: His primary areas include cryptographic protocols, privacy-preserving systems, blockchain infrastructure, secure cloud computing, and distributed consensus mechanisms. He has pioneered advancements in zero-knowledge proofs, private information retrieval, and dynamic searchable encryption. Awards: He has received prestigious awards such as the CCS Test-of-Time Award (2022), JP Morgan Faculty Research Award (2022), and NSF CAREER Award (2017). His contributions span over 140 publications in top venues like CRYPTO, CCS, and SODA. Teaching: He has taught advanced courses in cryptography, algorithms, and computer systems security at Yale and previously at the University of Maryland and Brown University. Recently, he chairs Yale’s PhD admissions in Computer Science. Labs & Teams: Leads the Yale Applied Cryptography Lab, focusing on real-world applications of cryptographic research. Collaborates with industry partners like Lagrange Labs to develop privacy-preserving technologies.

• Quantum-safe cryptography
• Lattice-Based Cryptography
• Post-Quantum Cryptography
• +4 more

Ron Steinfeld is an Associate Professor in the Department of Software Systems & Cybersecurity at Monash University, Australia. He holds editorial roles in Designs Codes and Cryptography (since 2017) and has served on technical committees for top-tier conferences like ASIACRYPT, CRYPTO, and EUROCRYPT. His research focuses on quantum-safe cryptography, lattice-based cryptography, and blockchain security, with over 80 refereed publications and AUD$4M+ in research funding. Education: BSc Mathematics and Physics (Monash University, 1998) BE (Hons., First Class) Electrical and Computer Systems (Monash University, 2000) PhD Computer Science (Monash University, 2003) Research Interests: Design and analysis of cryptographic algorithms, quantum-safe protocols, lattice-based security foundations, and blockchain applications. His work underpins NIST standard algorithms like Kyber and Dilithium through structured lattice problem research. Recent Articles Trends: Focus on privacy-preserving blockchain protocols, post-quantum signature schemes, encrypted data search, and cryptographic applications in adversarial AI. Recent work includes fair Bitcoin watchtower schemes and genomic database privacy solutions. Awards: ASIACRYPT 2015 Best Paper Award Advising & Grants: Supervises PhD projects on quantum-safe cryptography and blockchain security. Leads initiatives like the AUD$4M ARC-funded Quantum Information Technology project. Collaborates with industry partners including CSIRO/Data61. Labs/Teams: Key contributor to Monash’s cybersecurity and cryptography research groups, involving interdisciplinary projects on materials discovery ( Æinstein initiative) and post-quantum blockchain security.

Aditya ParameswaranView profile

Associate Professor

• Database Systems
• Human-Computer Interaction
• Data Analytics
• +3 more

Aditya Parameswaran is an Associate Professor in the Electrical Engineering and Computer Sciences (EECS) department at the University of California, Berkeley. He co-directs the EPIC Data Lab and the Police Records Access project, focusing on simplifying data science at scale through human-in-the-loop systems, LLM-powered tools, and scalable data systems. His research spans database systems, human-computer interaction, and machine learning, with notable contributions in tools like Lux, Modin, and DataSpread. Education : PhD in Computer Science from Stanford University (2013) BTech in Computer Science and Engineering from IIT Bombay (2007) Research Interests : Parameswaran's work centers on empowering end-users with intuitive data tools. Recent projects include LLM-powered systems for document processing (DocETL, TWIX), proactive data systems, and benchmarking frameworks. He emphasizes democratizing data science through low/no-code solutions and improving production ML workflows. Articles Trends : His recent work (2023–2025) prioritizes LLM integration into data systems, focusing on robust pipelines, assertion generation (SPADE), and debugging tools (RAGGY). Earlier contributions include visualization recommendation (Lux), scalable dataframes (Modin), and spreadsheet optimization (DataSpread). Awards : Recipient of the VLDB Early Career Award (2019), Sloan Research Fellowship (2020), NSF CAREER Award (2017), and multiple best paper/demonstration awards at top venues like SIGMOD and VLDB. Advising & Grants : Guides over 20 PhD/postdoc alumni, many now in academia (e.g., Madelon Hulsebos at CWI) and industry leadership roles. Active in securing grants (e.g., NSF, Army Research Office) and industry partnerships (e.g., Snowflake, LangChain). Labs/Teams : Leads the EPIC Data Lab, focusing on agentic data systems, and co-founded Ponder (acquired by Snowflake). Collaborates on the Police Records Access initiative, building transparency tools for public records.

• Database Management Systems
• Self-Driving Database Architectures
• Transaction Processing Systems
• +4 more

Andy Pavlo is an Associate Professor with Indefinite Tenure in the Computer Science Department at Carnegie Mellon University's School of Computer Science. He is an active member of the CMU Database Group and the Parallel Data Laboratory, where he leads research in database management systems with a focus on self-driving architectures, transaction processing, and large-scale analytics. His work bridges academic research and industry applications through projects like NoisePage, OtterTune (which he co-founded and served as CEO before it ceased operations), and Peloton. Dr. Pavlo's research interests span database management systems with particular emphasis on autonomous database architectures that can self-tune and optimize without human intervention. His work explores transaction processing systems that can handle high-throughput workloads while maintaining consistency, and large-scale data analytics techniques that efficiently process massive datasets. He has made significant contributions to query optimization, database extensibility, and automatic database tuning using machine learning techniques. His recent work on database extensibility revealed critical issues in PostgreSQL's extension ecosystem, showing that approximately 16% of extensions are incompatible with at least one other extension due to API violations and memory errors. His research output demonstrates a consistent focus on practical database systems challenges, with recent publications examining database extensibility, user-defined function optimization, and the cyclical nature of database research. The articles show a strong trend toward making database systems more autonomous, with increasing integration of machine learning techniques for automatic tuning and optimization. His work often combines deep theoretical analysis with practical implementation in open-source systems. Dijkstra Award 2024 for contributions to database systems research Dr. Pavlo actively mentors graduate students, with current advisees including Wan Shen Lim, William Zhang, and Sam Arch (co-advised with Todd Mowry). His former students have gone on to successful careers in both industry and academia. He has secured significant research funding through CMU's affiliate program with major database companies including ClickHouse, DataStax, dbt, Firebolt, MotherDuck, RelationalAI, SingleStore, Spiral, PingCAP/TiDB, Yellowbrick, and Yugabyte. His research is supported by these industry partnerships and likely includes NSF funding given his active participation in the database research community. At CMU, Dr. Pavlo leads the Database Group and organizes several seminar series including "SQL or Death," "Database Building Blocks," and "ML⇄DB Technical Talks." These seminars bring together researchers and practitioners to discuss cutting-edge developments in database systems. He also runs a summer research internship program that has attracted students for multiple consecutive years, indicating a strong research group with ongoing projects and funding.

Zhuoyue ZhaoView profile

Assistant Professor

• Database systems
• Security
• Query processing
• +6 more

Zhuoyue Zhao is an Assistant Professor in the Department of Computer Science and Engineering at the University at Buffalo, School of Engineering and Applied Sciences. His office is located at 338I Davis Hall, Buffalo, NY 14260, and he can be reached at zzhao35@buffalo.edu or by phone at (716) 645-4735. Dr. Zhao received his PhD in Computer Science from the University of Utah in 2021, where he was advised by Prof. Feifei Li and Prof. Jeff Phillips. Prior to that, he earned his BS in Computer Science from Shanghai Jiao Tong University in 2016, where he was part of the prestigious ACM Class. During his undergraduate studies, he conducted research under Prof. Kenny Zhu and spent Fall 2015 as a research assistant at Hong Kong Polytechnic University supervised by Prof. Eric Lo. Dr. Zhao's research focuses on database management systems, with specific emphasis on traditional and approximate query processing, query optimization, database systems on modern hardware, transaction processing, indexing, and storage. His work bridges theoretical foundations with practical implementations, often resulting in systems that address real-world database challenges. He has made significant contributions to probabilistic query processing, transaction scheduling, and learned indexing techniques. His recent publications demonstrate a clear trajectory toward optimizing database performance in hybrid transactional/analytical processing environments. His research increasingly integrates systems techniques with machine learning approaches, particularly in the area of learned indexes. There's also a strong focus on making database operations more efficient through innovative scheduling mechanisms and query processing techniques that can handle concurrent updates. Google PhD Fellowship (2019-2021) Best Paper Award at SIGMOD 2016 for "Wander Join: Online Aggregation via Random Walks" Best Paper Award at SIGMOD 2025 for "Low-Latency Transaction Scheduling via Userspace Interrupts" Dr. Zhao currently advises several PhD students including Yunnan Yu, Congying Wang, Gaoxiang Liu (co-advised with Prof. Ziming Zhao), and Zhuoran Li. He has successfully guided MS student Nithin Sastry Tellapuri to graduation (Fall 2023), who is now employed at AirPay. His research is supported by significant funding including an NSF CAREER award (#2339596) totaling $599,977 for research on "Speedy and Reliable Approximate Queries in Hybrid Transactional/Analytical Systems" (2024-2029) and an unrestricted Google gift of $30,000 (2021). Dr. Zhao leads the ADBLab research group at UB, where students work on cutting-edge database systems research. His lab focuses on building practical database systems that address real-world challenges in query processing, transaction management, and indexing. The lab maintains strong connections with industry partners and regularly contributes to open-source database projects.

Daniel AbadiView profile

Professor

• Database system architecture
• Distributed database systems
• Column-oriented databases
• +5 more

Daniel Abadi is the Darnell-Kanal Professor of Computer Science at the University of Maryland, College Park. He leads the Data Systems Lab at Maryland (DSLAM) and is widely recognized for his groundbreaking contributions to database system architecture and implementation. Previously, he was a faculty member at Yale University where he received the Provost's Teaching Prize. Abadi's research primarily focuses on database system architecture, particularly at the intersection with scalable and distributed systems. He is best known for developing the storage and query execution engines of the C-Store prototype (a column-oriented database system commercialized by Vertica and later acquired by Hewlett-Packard), HadoopDB research (commercialized by Hadapt and acquired by Teradata), and deterministic distributed transactional systems like Calvin (currently being commercialized by Fauna). His work bridges theoretical innovation with practical industrial impact. Analysis of his recent publications reveals a consistent trajectory toward solving fundamental challenges in distributed database systems. His research has evolved from foundational work on column-stores and hybrid database architectures to cutting-edge innovations in geo-replicated transactions, concurrency control mechanisms, and the integration of machine learning with database systems. The trend shows increasing focus on practical implementations that address real-world scalability and performance challenges in large-scale data processing environments. ACM Fellow Churchill Scholarship recipient NSF CAREER Award winner Sloan Research Fellowship recipient VLDB Best Paper Award winner Two VLDB Test of Time Awards (for C-Store and HadoopDB) 2008 SIGMOD Jim Gray Doctoral Dissertation Award 2013-2014 Yale Provost's Teaching Prize 2013 VLDB Early Career Researcher Award Professor Abadi has successfully mentored several PhD students, most notably Alexander Thomson and Jose Falerio, both of whom won the prestigious SIGMOD Jim Gray Doctoral Dissertation Award for their work under his supervision. His research has been generously supported by multiple NSF grants including BIGDATA awards and other funding mechanisms that have enabled significant advances in database technology. He actively collaborates with industry partners, with several of his research projects leading directly to commercial products. At the University of Maryland, Abadi directs the Data Systems Lab at Maryland (DSLAM), which focuses on developing innovative database technologies that address contemporary challenges in data management. The lab's research spans distributed transaction processing, database architecture, and the integration of database systems with emerging computing paradigms. Notable projects include SLOG (Serializable, Low-latency, Geo-replicated Transactions), which eliminates traditional tradeoffs in distributed database design, and ongoing work in deterministic database systems that provide strong consistency guarantees without sacrificing performance.

• Databases
• Data Mining
• Machine Learning
• +3 more

Ming-Syan Chen is a distinguished academic holding dual roles as a Distinguished Research Fellow and Director of the Research Center for Information Technology Innovation (CITI) at Academia Sinica, Taiwan, and a Distinguished Professor jointly appointed across multiple departments at National Taiwan University (NTU), including Electrical Engineering (EE), Computer Science and Information Engineering (CSIE), and the Graduate Institute of Communication Engineering (GICE). His career spans academia and industry, with prior roles as a research staff member at IBM Watson Research Center and leadership positions in Taiwan's technology sector. Education: He earned a B.S. in Electrical Engineering from National Taiwan University, followed by M.S. and Ph.D. degrees in Computer, Information, and Control Engineering from the University of Michigan, Ann Arbor. Research Interests: Chen's work focuses on databases, data mining, machine learning, multimedia networking, and cloud computing. He has authored over 350 papers and holds numerous patents, contributing to foundational advancements in query processing, data management, and networked systems. Award Highlights: Recipient of ACM and IEEE Fellowships, National Chair Professorship (lifetime honor), Teco Award, Pan Wen Yuan Distinguished Research Award, and IBM's Outstanding Innovation Award. His contributions span research, teaching, and technology commercialization. Leadership & Service: Former Dean of NTU's College of Electrical Engineering and Computer Science, CEO of Taiwan's Networked Communication Program, and Editor-in-Chief of the International Journal of Electrical Engineering. He has chaired international conferences and served on editorial boards of journals like IEEE TKDE and VLDB. Labs & Teams: Leads the Network Database Laboratory and collaborates on national initiatives in information and communication technologies. His research groups focus on data science, distributed systems, and social network analysis.

Susan DavidsonView profile

Professor

• Databases
• Bioinformatics
• Data Management
• +4 more

Susan Davidson is the Weiss Professor in the Department of Computer and Information Science at the University of Pennsylvania, where she co-directs the Data Science Program. She currently serves as Deputy Dean of the School of Engineering and Applied Science and chairs the Computing Research Association's Board of Directors. Her research focuses on databases, bioinformatics, data management, and provenance-based systems. Co-founder, Greater Philadelphia Bioinformatics Alliance Founding co-director, Center for Bioinformatics Fulbright Scholar and Hitachi Chair, INRIA-GEMO Key research areas include data citation, trust management in collaborative systems, workflow provenance, and privacy in data analysis. Her recent publications explore explainability frameworks, sub-table selection for data exploration, and security in distributed training systems. 2023 Lindback Award for Distinguished Teaching 2021 VLDB Women in Databases Award 2021 AAAS Fellow 2020 Spira Award for Teaching & Mentoring 2017 IEEE TCDE Impact Award She has advised numerous PhD students and postdocs, including Sudeepa Roy (Duke University) and Julia Stoyanovich (NYU). Courses taught recently include CIS550 (Database Systems) and CIS545 (Big Data Analytics).

• Computer Architecture
• Datacenter Systems
• Cloud-Native Server Architecture
• +7 more

Babak Falsafi is a Full Professor at the School of Computer and Communication Sciences (IC) at EPFL, leading the Parallel Systems Architecture Laboratory (PARSA). He is a renowned expert in computer architecture, datacenter systems, and cloud-native server design. His research focuses on post-Moore era computing, emphasizing heterogeneous architectures, energy efficiency, and scalable IT infrastructure. Falsafi is the founder of EcoCloud, an EC-sponsored industrial-academic consortium investigating sustainable information technology. He holds ACM and IEEE fellowships, a Sloan Research Fellowship, and has contributed to major projects like Optimus Prime (data transformation acceleration), AstriFlash (flash-based online service systems), and Midgard (virtual memory re-design). His work spans hardware-software co-design, memory systems, and security. Falsafi advises numerous PhD students and collaborates with industry partners such as Google and Cavium. Key achievements include pioneering scalable multiprocessor architectures, snoop filters in IBM BlueGene, and spatial memory streaming in ARM cores. His lab develops open-source tools like QFlex for server simulation. He frequently presents at top conferences (HPCA, ISCA, MICRO) and chairs workshops on post-Moore infrastructure. Teaching roles include leading courses in computer architecture and parallel systems across multiple EPFL departments (SIN, EDIC, SSC, SMA). His work addresses datacenter challenges like the 'data tax' and mitigating latency through specialized accelerators.

Florian KerschbaumView profile

Professor

• Data security and privacy
• Confidentiality and integrity in data science
• Applied cryptography
• +4 more

Florian Kerschbaum is a Professor and NSERC/RBC Industrial Research Chair in Data Security at the Cheriton School of Computer Science, University of Waterloo. His research focuses on data security and privacy, applied cryptography, and confidentiality in data science. Research interests span data collection/preparation management, secure multi-party computation, homomorphic encryption, differential privacy, and machine learning robustness/privacy. His work develops cryptographic solutions for practical data management challenges in distributed systems.