About
Nicolas Wu is a Reader (Associate Professor) of Computer Science at Imperial College London, leading the Functional Programming Research Group and serving as Senior PhD Tutor.
Education: DPhil (Oxford), BS/BA (Oxford).
Research applies category theory to programming language semantics, connecting domain-specific languages, algebraic effect handlers, and recursion schemes. Current work formalizes scoped effects and parameterized algebraic theories.
Teaches functional programming and type theory. Supervises doctoral research on language design and formal verification.
0Publications listed
Find Nicolas Wu elsewhere
Related Searches
You Might Also Like
Xavier LeroyInria · Professor
Sam LindleyUniversity of Edinburgh · Associate Professor
Sam LindleyNational and Kapodistrian University of Athens · Associate Professor- FFilip SieczkowskiHeriot-Watt University · Assistant Professor
Nicolas TabareauInria · Researcher
Taro SekiyamaInria · Associate Professor