Activities per year
Prizes
-
Fellow of Advance HE (FHEA)
Gale, S. (Recipient), 17 Jul 2024
Prize: Prize (including medals and awards)
-
Teaching Excellence Award - Team Award
Gale, S. (Recipient), Nightingale, J. (Recipient), Shafti, L. S. (Recipient), Macdonald, F. (Recipient) & Chan, W. (Recipient), 22 Jun 2022
Prize: Prize (including medals and awards)
Activities
- 1 Organiser of major conference
-
31st Conference on Types for Proofs and Programs
Allais, G. (Organiser), Allais, G. (Member of programme committee), Nordvall Forsberg, F. (Organiser), Nordvall Forsberg, F. (Chair) & Gale, S. (Organiser)
9 Jun 2025 → 13 Jun 2025Activity: Participating in or organising an event types › Organiser of major conference