Institute for Responsible Superintelligence

RESI is an independent nonprofit research institute building the foundations needed to make superintelligence safe by design.

Who We Are

Scientific Directors

The institute’s founding scientific leadership.

Shafi Goldwasser portrait

Shafi Goldwasser

Inventor of zero-knowledge proofs and other seminal strands of modern cryptography. Turing Award winner.

Selected publications
  • S. Ball, G. Gluch, S. Goldwasser, F. Kreuter, O. Reingold, G. Rothblum, Computational Barriers to Filtering for AI Alignment. ICLR 2026.
  • N. Amit, S. Goldwasser, O. Paradise, G. Rothblum. Models That Prove Their Own Correctness. ICML 2024.
  • S. Goldwasser, M. Kim, V. Vaikuntanathan, and O. Zamir. Planting Undetectable Backdoors in Machine Learning Models. FOCS 2022.
Adam Tauman Kalai portrait

Adam Tauman Kalai

AI safety and ethics researcher coming from 2.5 years at OpenAI. Works in learning theory, game theory, and fairness, and bridges frontier-AI practice with theory. Majulook Prize winner.

Selected publications
  • A. Kalai, O. Nachum, S. Vempala, and E. Zhang. Evaluating large language models for accuracy incentivizes hallucinations. Nature 2026.
  • A. Kalai, Y. Tauman Kalai, and O. Zamir. Consensus Sampling for Safer Generative AI. IASEAI 2026.
  • T. Eloundou, A. Beutel, D. Robinson, K. Gu-Lemberg, A. Brakman, P. Mishkin, M. Shah, J. Heidecke, L. Weng, and A. Kalai. First-Person Fairness in Chatbots. ICLR 2025.
Vinod Vaikuntanathan portrait

Vinod Vaikuntanathan

MIT cryptographer and theoretical computer scientist with foundational contributions to lattice-based cryptography and fully homomorphic encryption. Gödel Prize winner.

Selected publications
  • V. Vaikuntanathan and O. Zamir. Undetectable Conversations Between AI Agents via Pseudorandom Noise-Resilient Key Exchange. FOCS 2026.
  • S. Goldwasser, J. Shafer, N. Vafa, and V. Vaikuntanathan. Oblivious Defense in ML Models: Backdoor Removal without Detection. STOC 2025.
  • S. Goldwasser, M. Kim, V. Vaikuntanathan, and O. Zamir. Planting Undetectable Backdoors in Machine Learning Models. FOCS 2022.
Research Team18
Chloé Bakalar portrait

Former AI Ethics Lead at OpenAI · Former Chief Ethicist at Meta

Chloé Bakalar

Moral and political philosopher working on applied and normative AI ethics, including the development, evaluation and governance of advanced AI systems.

Selected publications
  • R. Laukkonen, S. Krier, C. Bakalar, et al. Positive Alignment: Artificial Intelligence for Human Flourishing. arXiv 2026.
  • C. Bakalar, R. Barreto, S. Bergman, et al. Fairness on the Ground: Applying Algorithmic Fairness Approaches to Production Systems. arXiv 2021.
Ran Canetti portrait

Boston University

Ran Canetti

Design, analysis, and composition of cryptographic protocols. Program obfuscation and applications.

Selected publications
  • R. Canetti, S. Goldwasser, O. Zamir. Proofs of Ownership for Machine Learning Models. arXiv 2026.
  • R. Canetti, C. Chamon, E. Mucciolo, A. Ruckenstein. Towards program obfuscation via local mixing. TCC 2024.
Miranda Christ portrait

MIT postdoc · PhD from Columbia

Miranda Christ

Works on practically motivated cryptography, ML, and watermarking for AI-generated content.

Selected publications
  • M. Christ, N. Golowich, S. Gunn, A. Moitra, D. Wichs. Improved Pseudorandom Codes from Permuted Puzzles. STOC 2026.
  • M. Christ, S. Gunn. Pseudorandom Error-Correcting Codes. CRYPTO 2024.
Greg Gluch portrait

UC Berkeley · Simons Institute for the Theory of Computing postdoc · PhD from EPFL

Greg Gluch

Works on AI safety and alignment using tools from cryptography and computational complexity.

Selected publications
  • G. Gluch, S. Goldwasser. A Cryptographic Perspective on Mitigation vs. Detection in Machine Learning. 2026.
  • G. Gluch, B. Turan, S. G. Nagarajan, S. Pokutta. The Good, the Bad and the Ugly: Meta-Analysis of Watermarks, Transferable Attacks and Adversarial Defenses. NeurIPS 2025.
Yannai A. Gonczarowski portrait

Harvard

Yannai A. Gonczarowski

Economist and computer scientist working at the intersection of economic theory and theoretical computer science, including mechanism design and market design. ACM SIGecom Doctoral Dissertation Award winner.

Selected publications
  • S. Fish, Y. A. Gonczarowski, R. I. Shorrer. Algorithmic Collusion by Large Language Models. EC 2026.
  • Y. A. Gonczarowski, S. M. Weinberg. The Sample Complexity of Up-to-ε Multi-dimensional Revenue Maximization. FOCS 2018 / JACM 2021.
Sam Gunn portrait

PhD from UC Berkeley

Sam Gunn

Works on cryptography and foundations of AI.

Selected publications
  • S. Gunn. How to sketch a learning algorithm. 2026.
  • S. Gunn, X. Zhao, D. Song. An Undetectable Watermark for Generative Image Models. ICLR 2025.
Tal Herman portrait

MIT and UC Berkeley postdoc · PhD from the Weizmann Institute

Tal Herman

Works on complexity theory and cryptography.

Selected publications
  • T. Herman, G. Rothblum. Doubly-Efficient Interactive Proofs for Distribution Properties. FOCS 2023.
  • T. Herman, G. Rothblum. How to Verify Any (Reasonable) Distribution Property: Computationally Sound Argument Systems for Distributions. ICLR 2025.
Dylan Hadfield-Menell portrait

MIT

Dylan Hadfield-Menell

Professor working on AI alignment. His research focuses on the theory and practice of AI alignment, as well as the evaluation and (societal) oversight of deployed AI systems.

Selected publications
  • D. Hadfield-Menell, A. Dragan, P. Abbeel, and S. Russell. Cooperative Inverse Reinforcement Learning. NeurIPS 2016.
  • S. Zhuang and D. Hadfield-Menell. Consequences of Misaligned AI. NeurIPS 2020.
Yael Tauman Kalai portrait

MIT

Yael Tauman Kalai

Cryptographer and theoretical computer scientist working on verifiable delegation, interactive proofs, and cryptographic protocols. Winner of the ACM Prize in Computing.

Selected publications
  • L. Chen, Y. Tauman Kalai, Z. Xi. How to Avoid Debate: Scalable AI Safety via Doubly-Efficient Interactive Proofs. ICML 2026.
  • S. Goldwasser, Y. Tauman Kalai, G. Rothblum. Delegating Computation: Interactive Proofs for Muggles. STOC 2008.
Noam Kolt portrait

Hebrew University

Noam Kolt

Assistant Professor at the Faculty of Law and School of Computer Science and Engineering.

Selected publications
  • N. Kolt. Superintelligence and Law. Harvard Journal of Law & Technology 2026.
  • N. Kolt et al. Legal Alignment for Safe and Ethical AI. TMLR 2026.
Anat Perry portrait

Hebrew University · Berkman Klein Center Fellow at Harvard

Anat Perry

Associate professor working at the intersection of social cognitive psychology and neuroscience, with a focus on human–AI interaction and its implications for human flourishing.

Selected publications
  • A. Perry. In defense of social friction. Science 2026.
  • A. Perry. AI will never convey the essence of human empathy. Nature Human Behaviour 2023.
Daniela Rus portrait

MIT CSAIL

Daniela Rus

Roboticist and director of CSAIL working on autonomous systems, intelligence, and safe control and planning for embodied AI. MacArthur Fellow.

Selected publications
  • W. Xiao, D. Rus, et al. BarrierNet: Differentiable Control Barrier Functions for Learning of Safe Robot Control. IEEE Transactions on Robotics 2023.
  • W. Xiao, J. Wang, C. Gan, R. Hasani, M. Lechner, and D. Rus. SafeDiffuser: Safe Planning with Diffusion Probabilistic Models. ICLR 2025.
Jonathan Shafer portrait

MIT postdoc · incoming professor at the Weizmann Institute of Science · PhD from UC Berkeley

Jonathan Shafer

Works on learning theory and its connections to cryptography.

Selected publications
  • Z. Chase, S. Hanneke, S. Moran, and J. Shafer. Optimal Mistake Bounds for Transductive Online Learning. NeurIPS 2025 (Best Paper Runner-Up).
  • S. Goldwasser, G. Rothblum, J. Shafer, and A. Yehudayoff. Interactive Proofs for Verifying Machine Learning. ITCS 2021.
Yaron Singer portrait

Frontier Security

Yaron Singer

CEO and co-founder of Frontier Security, previously VP at Cisco, CEO and founder of AI Security startup Robust Intelligence (acquired by Cisco), and Harvard professor of Computer Science and Applied Mathematics, working on AI in cybersecurity, AI security, adversarial robustness, and robust optimization. Sloan Fellow.

Selected publications
  • P. Kassianik, B. Nelson, and Y. Singer. Beyond Success Rate: Cost-Aware Evaluation of Offensive and Defensive Security Agents. CAMLIS 2026.
  • A. Mehrotra, M. Zampetakis, P. Kassianik, B. Nelson, H. S. Anderson, Y. Singer, and A. Karbasi. Tree of Attacks: Jailbreaking Black-Box LLMs Automatically. NeurIPS 2024.
Andrew V. Sutherland portrait

MIT

Andrew V. Sutherland

Mathematician working in AI-assisted mathematical discovery, formal verification, large-scale mathematical databases, computational number theory, and arithmetic geometry.

Selected publications
  • J. S. Ellenberg, C. S. Fraser-Taliente, T. R. Harvey, K. Srivastava, and A. V. Sutherland. Generative Modelling for Mathematical Discovery. Advances in Theoretical and Mathematical Physics 2025.
  • W. Sawin and A. V. Sutherland. Murmurations for Elliptic Curves Ordered by Height. 2025.
Mirac Suzgun portrait

Stanford

Mirac Suzgun

PhD candidate in CS at Stanford with JD from Stanford Law working on LLM reasoning, safety, and factuality, with particular interests in understanding and mitigating hallucinations and evaluating AI systems deployed in high-stakes domains such as law and medicine.

Selected publications
  • M. Suzgun, M. Yuksekgonul, F. Bianchi, D. Jurafsky, J. Zou. Dynamic Cheatsheet: Test-Time Learning with Adaptive Memory. EACL 2026.
  • M. Suzgun, T. Gur, F. Bianchi, D. E. Ho, T. Icard, D. Jurafsky, J. Zou. Language Models Cannot Reliably Distinguish Belief from Knowledge and Fact. Nature Machine Intelligence 2025.
Neekon Vafa portrait

Harvard Society of Fellows · PhD from MIT

Neekon Vafa

Junior Fellow working on cryptography and its connections to statistics and trustworthy AI.

Selected publications
  • A. Bogdanov, A. Rosen, N. Vafa. Statistically Undetectable Backdoors in Deep Neural Networks. ICML 2026.
  • A. Bogdanov, A. Rosen, N. Vafa, and V. Vaikuntanathan. Adaptive Robustness of Hypergrid Johnson-Lindenstrauss. STOC 2026.
Rebecca Wexler portrait

Columbia

Rebecca Wexler

Alfred W. Bressler Professor of Law working on evidence and criminal law, including interactions of technological and legal design for secrecy, authentication, and accountability.

Selected publications
  • S. Barrington, E. Cooper, H. Farid, R. Wexler. AI-Generated Voice Evidence Poses Dangers in Court. Lawfare 2025.
  • D. Bitan, R. Canetti, S. Goldwasser, R. Wexler. Using Zero-Knowledge to Reconcile Law Enforcement Secrecy and Fair Trial. ACM CSLaw 2022.
Visiting Researchers25
  • Scott Aaronson · UT Austin
  • Boaz Barak · OpenAI
  • David Bau · Northeastern
  • Yonatan Belinkov · Technion
  • Avrim Blum · TTIC · Visited 2026
  • Christian Borgs · Berkeley · Visited 2026
  • Sebastien Bubeck · OpenAI
  • Nicholas Carlini · Anthropic
  • Jennifer Chayes · Berkeley
  • Andrew Critch · Encultured
  • Costis Daskalakis · MIT
  • Geoffrey Irving · Resolution
  • Sham Kakade · Harvard
  • Ehud Kalai · Northwestern
  • Tal Malkin · Columbia
  • Moni Naor · Weizmann Institute
  • Orr Paradise · EPFL
  • Manish Raghavan · MIT
  • Omer Reingold · Stanford
  • Alon Rosen · Bocconi
  • Jacob Steinhardt · Transluce, UC Berkeley
  • Jacob Tsimerman · OpenAI
  • Santosh Vempala · Georgia Tech
  • Daniel Wichs · Northeastern
  • Or Zamir · Tel Aviv University · Visited 2026
Operations Team01
Emily Uyeda Kantrim portrait

Chief Operating Officer

Emily Uyeda Kantrim

Emily’s work spans nonprofit, government, research, and social innovation, with a focus on turning ambitious ideas into durable institutions, scalable systems, and measurable public impact.

Affiliated Groups06

How We Pay for It

Funding and Transparency

RESI launched with founding support from Coefficient Giving and Schmidt Sciences. We welcome conversations with philanthropic partners who share our commitment to building the scientific foundations of safe-by-design AI. Reach us at funding@resi.org.

Support the immediate diffusion of work designed for the long term.

RESI is a non-profit organization fiscally sponsored by the Edward Charles Foundation, a 501(c)(3) public charity, EIN 26-4245043.

Individuals and pooled funds can donate directly through a Donor Advised Fund (DAF) or other account at Every.org.

Independent support gives RESI the freedom to pursue foundational questions, invest in exceptional researchers, and share results for the highest good.

Support can also take the form of compute credits, infrastructure, and other resources that help foundational ideas move more quickly into practice.

All contributions, including cash, stock, and other assets are tax-deductible to the extent permitted by law.

Frequently Asked

Questions about RESI

Why the RESI acronym?

IRS was already taken, and RESI (for REsponsible SuperIntelligence) is also the beginning of RESIlience.

What does success mean for RESI?

The ultimate success would be new safe-by-design approaches adopted in frontier AI systems: breakthroughs comparable to foundational cryptographic primitives. Progress toward that goal includes rigorous definitions of safety objectives, maps of what is and is not achievable under explicit assumptions, new mechanisms with useful guarantees, results on how guarantees compose, and working demonstrations in real systems. Success also means influencing policy and regulation in ways that support human flourishing.

How will RESI’s ideas become adopted?

Through design, people, and incentives. RESI designs with practical constraints in mind and tests promising constructions in real systems. It is connected to frontier labs through the experience of its researchers and through regular visitors and speakers, allowing ideas to travel with the people who carry them. Meanwhile, frontier models already face release barriers due to safety considerations. As capabilities increase, developers will face stronger safety, reliability, and deployment requirements. Approaches that provide greater assurance while preserving usefulness can reduce deployment risk and offer incentives for adoption.

How is RESI different from other AI safety initiatives?

RESI focuses on the formal and design-oriented foundations of AI safety: precise safety objectives, explicit assumptions, mechanisms and architectures with analyzable guarantees, composition of those guarantees, and impossibility results. The goal is to develop approaches intended to remain meaningful as systems become superintelligent. This complements work on evaluation, interpretability, alignment training, control, and safeguards for existing models. RESI is also distinctive in who is building it: it is led by researchers with a track record of turning vague concepts into precise definitions and usable mechanisms, from cryptography and other fields, and it is organized by those researchers.

How will RESI stay up to date with frontier research?

RESI combines researchers with recent frontier-lab experience, regular engagement with researchers at leading labs, a continuing visitor and lecture program, and practical testing of promising ideas on current systems. Its research agenda will evolve as capabilities, architectures, and deployment practices change.

Is this approach fast enough?

It has to be, and there is reason for optimism. Foundational fields can move quickly once the right people converge on the right questions, as happened repeatedly in modern cryptography, and RESI is built to concentrate that process and accelerate it with frontier AI tools. Nor does progress depend on one all-or-nothing breakthrough: definitions, impossibility results, and mechanisms can inform current systems along the way. Foundations take time to mature, but they are hardest to build once a crisis has arrived. The best time to begin was long ago; the second best is now.

What does superintelligence mean?

Superintelligence means systems that greatly exceed individual humans, and potentially expert teams, across a broad range of cognitive tasks.

How does superintelligence differ from AGI?

Artificial General Intelligence usually means matching humans across a broad range of tasks; superintelligence means substantially exceeding that level. Current AI is jagged, already superhuman in some domains and subhuman in others. RESI’s practical concern begins when systems exceed our ability to test and oversee them, because past that point safety must be designed in. In some domains, that point is already here.

How can science study something that doesn’t yet exist?

The principles and constraints that any system has to satisfy can be studied and built upon. Much of computer science and engineering falls within what Herbert Simon called the “sciences of the artificial,” which ask not only how existing systems behave, but what systems can be designed. Modern cryptography did not emerge merely from studying the ciphers of the time, but from analyzing what can and cannot be done.

How can I get involved?

For other scientists and practitioners local to the Boston/Cambridge, sign up for notifications on our reading group, events, and seminars here. RESI will host a small number of researchers and visitors from outside the area. We welcome inquiries from scientists whose tools could bear on these problems, whether or not they have worked on AI safety before. Email us with your ideas at hello@resi.org. If you are a local student, we consider interns from our partner organization, Cambridge/Boston Alignment Initiative (CBAI).