Our Team

Dirk Englund

Principal Investigator, MIT

Founding Member of CVAI

Professor of Electrical Engineering and Computer Science at MIT. Leads the Quantum Photonics & AI Lab, where his group develops quantum photonic systems for communication, computation, and sensing, alongside pioneering the integration of large language models with formal verification for scientific discovery. Recipient of the Humboldt Professorship, Presidential Early Career Award, and Sloan Fellowship.

Kfir Sulimany

Team Leader & Postdoctoral Researcher, MIT

Founding Member of CVAI

Incoming Assistant Professor of Electrical and Computer Engineering at the Technion. Currently leads the Quantum Perception team at MIT in Prof. Dirk Englund's lab. Received his PhD in Physics from the Hebrew University of Jerusalem under Prof. Yaron Bromberg. Recipient of the Marie Curie, Zuckerman, and Israeli CHE postdoctoral fellowships.

Benjy Firester

PhD Candidate, MIT Mathematics

Founding Member of CVAI

Leads CVAI Differential Geometry project building a formalized and verified differential geometry library in Lean. PhD student in Mathematics at MIT, working on geometric analysis, optimal transport, free boundary PDE, minimal surfaces, Monge-Ampère, and Calabi-Yau metrics. Previously AB/AM in Mathematics at Harvard, summa cum laude.

Maor Ben Shachar

Postdoctoral Researcher, MIT Physics

Founding Member of CVAI

Researcher at the Center for Theoretical Physics at MIT. Research spans quantum field theory, quantum information, and effective field theories. Leads the formalization of the quantum information project in Lean 4.

Jonathan Morag

Postdoctoral Researcher, MIT Physics

Incoming Postdoctoral Researcher at MIT. PhD from Weizmann Institute under Prof. Eli Waxman. Research spans high energy astrophysics simulations and quantum information. BSc / MSc Physics - Summa Cum Laude (UC Davis, Technion)