Imperial College London


Faculty of EngineeringDepartment of Computing

Reader in Computer Science



+44 (0)20 7594 8189n.wu Website




374Huxley BuildingSouth Kensington Campus





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.



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


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

More Publications