Home

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").

Contact:

apdb3 \at cam \dot ac \dot uk

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

Interests:

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