Piotr Kozicki

GitHub; ORCID; LinkedIn; Fediverse

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

My research is primarily in understanding the nature of computation, types and verification mathematically, especially through the lenses of category theory and logic.

In particular, I am currently studying

• (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)

• Relational Dualities and Bisimulation - Bristol PLRG Seminar, 4 June

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

I participate in and run a few reading groups at the university.

• HoTT - Homotopy Type Theory reading group
• CSoLL - Categorical Semantics of Linear Logic reading group

Please use my email or message me on the PLRG Zulip, which I check far more often than Teams.

Email

piotr dot kozicki at bristol dot ac dot uk

Address

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