I teach mathematics for computer science at St Catz. That can mean probabilities, or graphs, or fancy ways of counting things: whatever helps us reason about computation!



My research is about doing mathematics in pictures. Formally these pictures are called String Diagrams, and they are from a field of mathematics called Category Theory, which is about how mathematical objects interact with each other. The kinds of string diagrams I draw are the sort that work well to describe the kinds of things that happen on a quantum computer, and also the kinds of things that happen when we use language to make complex meanings by putting together simpler ideas and words.