Piotr Kozicki

GitHub; ORCID; LinkedIn; Fediverse; CV

mugshot

Ph.D. student at the University of Bristol Programming Languages Research Group, supervised by Dr. Alex Kavvos.

My research interests revolve primarily around:

More generally, I am interested in the mathematical foundations of computation and verification, especially using the lens of category theory and logic.

Email
piotr dot kozicki at bristol dot ac dot uk
Address
81 Woodland Road, Bristol BS8 1US, United Kingdom

My name is Polish and its IPA pronounciation is /pjɔtr kɔˈʑit͡ski/.

This website is slowly being redesigned. Some things which should be links in the near future – aren't. If there is something specific you want but isn't on the page, just send me an email: I usually monitor and respond to these.

Research

Publications

MScR Thesis

I will publish the abstract and link the document once I have finished my examination.

  • Piotr Kozicki. Relational Stone-type Dualities for Logic. NB Awaiting examination in October. Master's thesis. University of Bristol, Sept. 2026.

    (bibtex)

Talks

These are in addition to the presentations I have given at conferences.

  • Relational Dualities and Bisimulation. Bristol PLRG Seminar, Bristol, 4th June 2026. (slides).

Teaching

I have been allowed to take on some teaching as a PGR. Some resources and the like are linked below.

Miscellanea

Я сказал себе: «Ну вот, сяду за стол и первую мысль сочиню за этим столом особенно умную». Но особенно умной мысли я сочинить не мог. Тогда я сказал себе «Хорошо. Не удалось сочинить особенно умную мысль, тогда сочиню особенно глупую». Но и особенно глупую мысль сочинить тоже не мог.

—Д. Хармс, Голубая Тетрадь

Created: 2026-09-21 Mon 16:12

Validate