Browse/search for people
Dr Nicolas Wu
Dr Nicolas Wu
MA (Oxon), DPhil (Oxon)
Nicolas Wu obtained his doctorate in Computer Science from the University of Oxford, where he also studied as an undergraduate at Brasenose College. He is an experienced programmer, and spent several years in industry working with Haskell, C++, and Java, before finally settling in academia as a researcher in the field of functional programming. 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, effect handlers, and structured recursion schemes. While working as a researcher at Oxford, Nicolas was also a lecturer and director of studies at several colleges, where he taught all of the first and core second year courses. He is now a lecturer at the University of Bristol.
- Hinze, R, Wu, N & Gibbons, J, 2015, Conjugate Hylomorphisms: The Mother of All Structured Recursion Schemes. in: Proceedings of the 42Nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. IEEE/ACM, New York, NY, USA, pp. 527-538
- Schrijvers, T, Wu, N, Desouter, B & Demoen, B, 2014, Heuristics Entwined with Handlers Combined: From Functional Specification to Logic Programming Implementation. in: PPDP 2014 : proceedings of the 16th international symposium on principles and practice of declarative programming. Association for Computing Machinery (ACM), pp. 259-270
- Gibbons, J & Wu, N, 2014, Folding Domain-specific Languages: Deep and Shallow Embeddings. in: Proceedings of the 19th ACM SIGPLAN International Conference on Functional Programming. IEEE/ACM, New York, NY, USA, pp. 339-347
- Wu, N, Schrijvers, T & Hinze, R, 2014, Effect Handlers in Scope. in: Proceedings of the 2014 ACM SIGPLAN Symposium on Haskell. IEEE/ACM, New York, NY, USA, pp. 1-12
- Hinze, R & Wu, N, 2013, Squiggoling with Bialgebras: Recursion Schemes from Comonads Revisited. in: Een Lawine van Ontwortelde Bomen: Liber amicorum voor Doaitse Swierstra.
- Wu, N, Magalhães, JP, Bransen, J & Swierstra, W, 2013, Pure and Lazy Lambda Mining. in: Ralf Hinze (eds) Implementation and Application of Functional Languages. Springer Berlin Heidelberg, pp. 207-223
- Hinze, R, Magalhães, JP & Wu, N, 2013, A Duality of Sorts. in: Peter Achten, Pieter Koopman (eds) The Beauty of Functional Code. Springer Berlin Heidelberg, pp. 151-167
- Hinze, R, Wu, N & Gibbons, J, 2013, Unifying Structured Recursion Schemes. SIGPLAN Notices, vol 48., pp. 209-220
- Hinze, R & Wu, N, 2013, Histo- and Dynamorphisms Revisited. in: Proceedings of the 9th ACM SIGPLAN Workshop on Generic Programming. IEEE/ACM, New York, NY, USA, pp. 1-12
- Wang, M, Gibbons, J & Wu, N, 2011, Incremental Updates for Efficient Bidirectional Transformations. in: Proceedings of the 16th ACM SIGPLAN International Conference on Functional Programming. IEEE/ACM, New York, NY, USA, pp. 392-403
Read more >
Dr Wu currently teaches 1 courses:
Edit this profile If you are Dr Nicolas Wu, you can edit this page. Login required.