Piotr Kozicki

GitHub; ORCID; LinkedIn

M.Sc.R. student at the University of Bristol in the Programming Languages Research Group supervised by Dr. Alex Kavvos.

My research interests are scattered around:

• (modal) logic and semantics
• (homotopy) type theory
• category theory and duality

• Relational Dualities and Bisimulation - Piotr Kozicki and G. A. Kavvos (Accepted at FSCD 2026)

• Upcoming: Relational Dualities and Bisimulation at Bristol PLRG

The primary function of a university is to teach. As a postgraduate research student, alongside my own studies and research, I have been allowed to take on some teaching responsibilities.

• COMS1XXXX - unit lead

piotr dot kozicki at bristol dot ac dot uk

81 Woodland Road, Bristol, BS8 1US, United Kingdom