# 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