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