Nicolas Wu

Nicolas Wu

Senior Lecturer
Computer Science
Imperial College London
Room 374, Huxley Building
180 Queen's Gate
South Kensington
London SW7 2AZ, UK
n.wu@imperial.ac.uk

I am a Senior Lecturer at the Department of Computing, Imperial College London, where I am the Head of the Functional Programming Research Group and also the Senior Tutor for PhD students.

My research interests are centred around programming languages, where I have made advances in applications of category theory for giving the semantics of programs and algorithms. In particular, my recent work has been focused on showing the connections between domain specific languages, algebraic effect handlers, and structured recursion schemes.

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

[ ORCID | Scopus | DBLP | Google Scholar | ACM ]

Research

Group

I am the head of the Functional Programming Research Group at Imperial College London:

Projects

  • 2019-2021: EPSRC Grant EP/S028129/1: SCOPE: Scoped Contextual Programming with Effects, PI
  • 2019-2022: EPSRC Grant EP/T008911/1: EXHIBIT : Expressive High-Level Languages for Bidirectional Transformations , CI (Wang, PI, University of Bristol)

Publications

My publications list can be found on DBLP and Google Scholar.

Teaching

  • 2020-2020: COMP50001 : Design & Analysis of Algorithms
  • 2019-2020: CO202 : Algorithms II
  • 2018-2019: COMS22201 : Language Engineering
  • 2018-2019: COMS10006 : Functional Programming
  • 2017-2018: COMS22201 : Language Engineering
  • 2017-2018: COMS10006 : Functional Programming
  • 2016-2017: COMS22201 : Language Engineering
  • 2016-2017: COMS10002 : Programming and Algorithms I
  • 2015-2016: COMS10001 : Programming and Algorithms II
  • 2015-2016: COMS10002 : Programming and Algorithms I
  • 2014-2015: COMS10001 : Programming and Algorithms II