معرفی
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.
۰مقاله منتشرشده
