Nicolas Wu

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

• Thomson P, Rix R, Wu N, et al., 2022, Fusing Industry and Academia at GitHub (Experience Report), Proceedings of the Acm on Programming Languages-pacmpl, Vol:6

• Nguyen M, Perera R, Wang M, et al., 2022, Modular Probabilistic Models via Algebraic Effects, Proceedings of the Acm on Programming Languages-pacmpl, Vol:6

• Katsumata S-Y, McDermott D, Uustalu T, et al., 2022, Flexible Presentations of Graded Monads, Proceedings of the Acm on Programming Languages-pacmpl, Vol:6

• Tahir O, Luk W, Wu N, Extensible Embedded Hardware Description Languages with Compilation, Simulation and Verification, The International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies 2023