Functional Programming Lab
 
NameTelephoneJob DescriptionContact
Other Academic
Altenkirch, Thorstenn/aProfessor of Computer ScienceEnvelope Icon
Buchholtz, Ulrikn/aAssistant ProfessorEnvelope Icon
De Jong, Tomn/aResearch AssociateEnvelope Icon
Hutton, Graham0115 951 4220Professor of Computer ScienceEnvelope Icon
Kraus, Nicolain/aRoyal Society University Research Fellow & Associate ProfessorEnvelope Icon
Marsden, Dann/aTransitional Assistant ProfessorEnvelope Icon
NameTelephoneJob DescriptionContact
Postgraduate Students
Baston, Colmn/aPhD StudentEnvelope Icon
Chen, Joshuan/aPhD studentEnvelope Icon
Damato, Stefanian/aEnvelope Icon
Hewer, Brandonn/aEnvelope Icon
Neumann, Jacobn/aEnvelope Icon
Pickard, Mitchelln/aPhD StudentEnvelope Icon
Pinyo, Gunn/aPhD student in Dependent Type TheoryEnvelope Icon
Pradal, Stiephenn/aPhD in Homotopy Type TheoryEnvelope Icon
Schipp von Branitz, Johannesn/aPhD Computer ScienceEnvelope Icon
Sestini, Filippon/aEnvelope Icon
NameTelephoneJob DescriptionContact

A

Altenkirch, Thorstenn/aProfessor of Computer ScienceEnvelope Icon

B

Baston, Colmn/aPhD StudentEnvelope Icon
Buchholtz, Ulrikn/aAssistant ProfessorEnvelope Icon

C

Chen, Joshuan/aPhD studentEnvelope Icon

D

Damato, Stefanian/aEnvelope Icon
De Jong, Tomn/aResearch AssociateEnvelope Icon

H

Hewer, Brandonn/aEnvelope Icon
Hutton, Graham0115 951 4220Professor of Computer ScienceEnvelope Icon

K

Kraus, Nicolain/aRoyal Society University Research Fellow & Associate ProfessorEnvelope Icon

M

Marsden, Dann/aTransitional Assistant ProfessorEnvelope Icon

N

Neumann, Jacobn/aEnvelope Icon

P

Pickard, Mitchelln/aPhD StudentEnvelope Icon
Pinyo, Gunn/aPhD student in Dependent Type TheoryEnvelope Icon
Pradal, Stiephenn/aPhD in Homotopy Type TheoryEnvelope Icon

S

Schipp von Branitz, Johannesn/aPhD Computer ScienceEnvelope Icon
Sestini, Filippon/aEnvelope Icon

Functional Programming Lab

The University of Nottingham
School of Computer Science
Jubilee Campus
Nottingham, NG7 1BB


telephone: +44 (0) 115 95 14220
email:fp-lunch@cs.nott.ac.uk