Hossein Hafezi

About

I am an incoming PhD student at the University of Cambridge, starting in Autumn 2026, where I will be advised by Martin Kleppmann. I also collaborate actively with Joseph Bonneau and Benedikt Bünz. My research broadly focuses on building secure systems using modern cryptographic techniques, with a particular emphasis on SNARKs. You can find my publications, talks and service on the research page.

Positions & Visits

• Oct 2026Oct 2029

  PhD student · University of Cambridge

  with Martin Kleppmann

• Jun 2024Sep 2026

  Research assistant · New York University

  with Joseph Bonneau and Benedikt Bünz

• May 2026Jul 2026

  Research intern · Symbolic Software

  with Nadim Kobeissi — contributed to Soundcalc Lean

• Oct – Dec 2025Jul – Aug 2026

  Visiting researcher · KU Leuven

  with Bart Preneel

• Feb 2025Aug 2025

  Visiting researcher · IMDEA Software

  with Dario Fiore

• Feb 2023Apr 2023

  Research assistant · University of Maryland

  with Ian Miers

• Jul 2022Oct 2022

  Research intern · EPFL

  with Bryan Ford