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
Publications: DBLP Arxiv
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.