I have finally finished my habilitation thesis on Game Comonads and Arboreal Categories. Any feedback welcome!

I am starting a new project called UniCaToR. For more information follow the project's website.

I was awarded a prestigeous CTU Starting Grant which allows me to hire postdocs in near future.
👉 If you are interested in combining category theory, linear logic and type theory in the study of computational resources in programming languages using comonads, reach out to me!

Our joint paper with Jakub Opršal and Maximilian Hadek on A categorical perspective on constraint satisfaction has been accepted at LiCS 2026!

I presented our joint paper with Luca Reggio On the Axioms of Arboreal Categories at CMCS 2026.

Announcing our ESSLLI 2026 workshop on Semantics and compositionality for expressiveness and complexity, in 10-14 August 2026. Save the date!

Two of my papers got accepted over the summer, the paper on Belnap's legacy in theoretical computer science and the journal version of our paper with Dan Marsden and Nihil Shah. See the publications page.

Our new preprint on categorical aspects of PCSP (Promise Constraint Satisfaction Problem) can be found on arXiv.

I will be a lecturer at the second week of ESSLLI this year. The event is full of interesting logic-related talks, including (hopefully) my game comonads lectures.

I am excited to start my MSCA project called ALGACOM. For more information follow the project's website.