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 using 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/.
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
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.
- COMS30040 — Types and Lambda Calculus
- COMS1XXXX — First Year Programme Tutorials
- COMS10018 — Algorithms I
Miscellanea
Я сказал себе: «Ну вот, сяду за стол и первую мысль сочиню за этим столом особенно умную». Но особенно умной мысли я сочинить не мог. Тогда я сказал себе «Хорошо. Не удалось сочинить особенно умную мысль, тогда сочиню особенно глупую». Но и особенно глупую мысль сочинить тоже не мог.
—Д. Хармс, Голубая Тетрадь
- I really enjoy this daily puzzle (Cell Tower).
- This webpage is written using Emacs Org Mode.