Personal profile
Fingerprint
- 1 Similar Profiles
Projects
- 1 Finished
-
SICSA Education Workshop Funding - Functional Programming in Education
Gale, S. (Principal Investigator)
30/09/25 → 30/09/25
Project: Knowledge Exchange (Conference / Seminar Hosting)
Research output
- 2 Conference contribution book
-
Double acts for demystifying subroutine calling conventions
Lambert, A., Gale, S. & Schoen, E., 17 Jun 2025, ITiCSE 2025 - Proceedings of the 2025 Conference on Innovation and Technology in Computer Science Education. New York, NY, p. 733-734 2 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book
-
Type-directed programming for programming education
Lambert, A. & Gale, S., 17 Jun 2025, ITiCSE 2025 - Proceedings of the 2025 Conference on Innovation and Technology in Computer Science Education. Barendsen, E., Binkhorst, F., Velázquez-Iturbide, Á., Urquiza Fuentes, J., Paterson, J. & Quille, K. (eds.). p. 731-732 2 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book
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: Presenting or Organising an Event › Organiser of major conference