Categories and String Diagrams

Nicolas Wu

Dr Nicolas Wu is a Senior Lecturer at the Department of Computing, Imperial College London. He holds a DPhil from the University of Oxford, where he also studied as an undergraduate at Brasenose College. His research interests are centred around programming languages, where he has made advances in applications of category theory for giving the semantics of programs and algorithms. In particular, his recent work has been focused on showing the connections between domain specific languages, algebraic effect handlers, and structured recursion schemes.