I am a Postdoctoral Research Associate at the Computer Laboratory of the University of Cambridge, UK.

I am a former Postdoctoral Fellow at the Eduard Cech Institute for Algebra, Geometry and Physics and at the Mathematical Institute of Charles University in Prague.

Before that, I was a math doctoral student at the University of Nice (lab J.A. Dieudonné, team "Algebra, Topology and Geometry").


apdb3 \at cam \dot ac \dot uk

Tel. (office): (+44)/(0) 1223 763741


  • Category theory and homotopy theory
  • Homotopy type theory and Univalent Foundations
  • Formalization of mathematics
  • Quantum computing
  • Physics