Early-Stage Researcher PhD Position in Categorical Logic and Semantics of Message Passing

Categorical Logic and Semantics of Message Passing

The PhD project will explore the application of category theoryspecifically, of duoidal categories and its variantsto the semantics of message passing: one of the paradigms in concurrent programming. This project explicitly targets a theory of duoidal concurrent message passing; the project aims to develop a universal model of concurrency on top of a symmetric monoidal category.

The project will address the following key areas:

Symmetric monoidal categories are successful at process description: they provide an intuitive syntax and an expressive algebra for processes. Models of symmetric monoidal categories include non-deterministic processes, Markov kernels, effectful computations, quantum programs, or computable functions. Still, they are insufficient for the task of describing concurrency: if monoidal categories capture the essential algebra of processes, we are missing the essent...