## Summary

Dr Nicolas Wu is a Reader at the Department of Computing, Imperial College London, where he leads the Functional Programming Research Group and is also the Senior Tutor for PhD students.

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.

Previously he was a Lecturer at the University of Bristol in the Theory and Algorithms group. Before that he was a postdoctoral researcher at the University of Oxford, and a Haskell consultant at Well-Typed. He obtained his DPhil from the University of Oxford where he also studied as an undergraduate at Brasenose College.

## Publications

### Journals

Kidney DO, Yang Z, Wu N, 2024, Algebraic Effects Meet Hoare Logic in Cubical Agda, *Proceedings of the Acm on Programming Languages*, Vol:8

Matsuda K, Frohlich S, Wang M, et al. , 2023, Embedding by Unembedding, *Proceedings of the Acm on Programming Languages-pacmpl*, Vol:7

### Conference

Lindley S, Matache C, Moss S, et al. , 2024, *Scoped Effects as Parameterized Algebraic Theories*, Pages:3-21, ISSN:0302-9743

Van Bakel S, Wu N, Tye E, 2023, *A Calculus of Delayed Reductions*

Gibbons J, Kidney DO, Schrijvers T, et al. , 2023, *Phases in Software Architecture*, Pages:29-33