
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.
Linear algebra… with diagrams
Rediscover linear algebra by playing with circuit diagrams