Paweł is a theoretical computer scientist at the University of Southampton, focusing on compositional modelling of systems, developing the underlying maths (usually category theory), and applying it to real-life problems such as verification. Since 2015, he has been working on the Graphical Linear Algebra blog, rediscovering linear algebra with string diagrams.
