Pawel Sobocinski

Pawel is associate Professor in Computer Science at University of Southampton. After getting an apprenticeship from the Australian (i.e. best) school of category theory in Sydney, Pawel completed a PhD in Computer Science at the University of Aarhus in Denmark. He is fascinated by compositional descriptions of real world complex systems and is currently Associate Professor at University of Southampton, UK. He’s also the extremely lazy author of the graphical linear algebra blog (that absolutely rocks!) and a wonderful cook.

Role: Pawel is helping us with applying the compositional framework for Petri nets that he developed, expecially in state-space analysis.

Education: PhD Computer Science, University of Aarhus

Expertise: Category theory, PROPs, Petri nets, compositionality

Location: Southampton, England
[] website
[] dblp
[] arxiv