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: Tallinn, Estonia
Publications: DBLP Arxiv
Pawel is a professor of Trustworthy Software Technologies at Taltech. In the past he was an 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.