Summary
Dr Nicolas Wu is a Senior Lecturer at the Department of Computing, Imperial College London.
He completed his DPhil from the University of Oxford in 2010, where he also studied as an undergraduate at Brasenose College. He then went to work as a Haskell consultant at Well-Typed before returning to academia in 2012 as a postdoctoral researcher at the University of Oxford. In 2015 he obtained a lectureship at the University of Bristol and he moved to Imperial College London in 2019.
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.
Publications
Journals
Xie N, Pickering M, Loh A, et al., 2022, Staging with Class A Specification for Typed Template Haskell, Proceedings of the Acm on Programming Languages-pacmpl, Vol:6
Kidney DO, Wu N, 2021, Algebras for weighted search, Proceedings of the Acm on Programming Languages, Vol:5, ISSN:2475-1421, Pages:1-30
Conference
Yang Z, Paviotti M, Wu N, et al., 2022, Structured Handling of Scoped Effects, 31st European Symposium on Programming (ESOP) Held as Part of the 25th European Joint Conferences on Theory and Practice of Software (ETAPS), SPRINGER INTERNATIONAL PUBLISHING AG, Pages:462-491, ISSN:0302-9743
Willis J, Wu N, 2021, Design patterns for parser combinators (functional pearl), ACM SIGPLAN Haskell Symposium 2021, ACM, Pages:71-84
Punchihewa H, Wu N, 2021, Safe mutation with algebraic effects, ACM SIGPLAN Haskell Symposium 2021, ACM, Pages:122-135