HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Thu, 12 Jan 2023 18:11:08 GMT
access-control-allow-origin: *
strict-transport-security: max-age=31556952
etag: W/"63c04d3c-1d6e"
expires: Fri, 16 Jan 2026 11:27:08 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: E3C9:38CA01:1EB47:223EB:696A1E30
accept-ranges: bytes
age: 0
date: Fri, 16 Jan 2026 11:17:08 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210053-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1768562228.931126,VS0,VE232
vary: Accept-Encoding
x-fastly-request-id: 1728d6aad367ba00758ef9c80726bb337324905a
content-length: 1957
Functional Programming Group | Imperial College London
λ
Functional Programming Group
Imperial College London
People
Nicolas Wu
Head of Group
Jamie Willis
PhD Student
Csongor Kiss
PhD Student
Zhixuan Yang
PhD Student
Donnacha Oisín Kidney
PhD Student
David Davies
PhD Student
Omar Tahir
PhD Student
Shing-hin Ho
PhD Student
Past Members
Marco Paviotti
Research Associate
Seminars
Our group holds weekly seminars on a variety of topics related to functional
programming, category theory, type theory, and all sorts of other fun.
If you would like to give a talk, please send us an email.
Vacancies
PhD Positions
We are always looking for motivated PhD students interested in working on
functional programming. To apply, please follow the instructions on the
departmental webpage found here.
You should write "Dr Nicolas Wu" under the proposed supervisor name on the
application form.
If you intend to apply, you should get in touch with
Nicolas Wu
to discuss.
Internships
Imperial College London offers its undergraduates internship opportunities over the Summer. The deadline for these is in February. To apply, please follow the instructions on the university webpage found here.