Imperial Lion
λ

Functional Programming Group

Imperial College London

People

Nicolas Wu

Nicolas Wu

Head of Group

Jamie Willis

Jamie Willis

PhD Student

Csongor Kiss

Csongor Kiss

PhD Student

Zhixuan Yang

Zhixuan Yang

PhD Student

Donnacha Oisín Kidney

Donnacha Oisín Kidney

PhD Student

David Davies

David Davies

PhD Student

Omar Tahir

Omar Tahir

PhD Student

Shing-hin Ho

Shing-hin Ho

PhD Student

Past Members

Marco Paviotti

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.