Piotr Kozicki
GitHub; ORCID; LinkedIn; Fediverse; CV
M.Sc.R. student at the University of Bristol Programming Languages Research Group, supervised by Dr. Alex Kavvos.
My research interests revolve primarily around:
- programming languages
- (categorical, modal, program) logic and semantics
- category theory and duality
- linear logic and concurrency
More generally, I am interested in the mathematical foundations of computation and verification, especially through the lens of category theory and logic.
- 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/.
Research
Publications
Piotr Kozicki, G. A. Kavvos. Relational Dualities and Bisimulation. In the Proceedings of the 11th International Conference on Formal Structures for Computation and Deduction (FSCD'26). 10.4230/LIPIcs.FSCD.2026.20.
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.
- COMS1XXXX — First Year Programme Tutorials
- COMS30040 — Types and Lambda Calculus
Miscellanea
Я сказал себе: «Ну вот, сяду за стол и первую мысль сочиню за этим столом особенно умную». Но особенно умной мысли я сочинить не мог. Тогда я сказал себе «Хорошо. Не удалось сочинить особенно умную мысль, тогда сочиню особенно глупую». Но и особенно глупую мысль сочинить тоже не мог.
—Д. Хармс, Голубая Тетрадь
- I really enjoy this daily puzzle (Cell Tower).
- This webpage is written using Emacs Org Mode.