Committees

TYPES 2025 is organised by the following people.

Program Committee

• Danel Ahman (University of Tartu, Estonia)
• Guillaume Allais (University of Strathclyde, Scotland)
• Malin Altenmüller (University of Edinburgh, Scotland)
• Sandra Alves (University of Porto, Portugal)
• Casper Bach (University of Southern Denmark, Denmark)
• Ana Bove (Chalmers University of Technology and University of Gothenburg, Sweden)
• Liang-Ting Chen (Academia Sinica, Taiwan)
• Vikraman Choudhury (University of Bologna, Italy)
• Gilda Ferreira (Universidade Aberta, Portugal)
• Daniel Gratzer (Aarhus University, Denmark)
• Tom de Jong (University of Nottingham, England)
• Dominik Kirst (Inria Paris, France)
• Neel Krishnaswami (University of Cambridge, England)
• András Kovács (University of Gothenburg and Chalmers University of Technology, Sweden)
• Peter LeFanu Lumsdaine (Stockholm University, Sweden)
• Kenji Maillard (Inria Rennes-Bretagne Atlantique, France)
• Max New (University of Michigan, United States of America)
• Fredrik Nordvall Forsberg (University of Strathclyde, Scotland) (chair)
• Elaine Pimentel (University College London, England)
• Andrew Swan (University of Ljubljana, Slovenia)
• Tarmo Uustalu (Reykjavík University, Iceland)
• Niels van der Weide (Radboud University Nijmegen, The Netherlands)
• Théo Winterhalter (Inria Saclay, France)
• Maaike Zwart (IT University Copenhagen, Denmark)

Steering Committee

• Eduardo Hermo Reyes (Formal Vindications, Spain)
• Tom de Jong (University of Nottingham, England)
• Rasmus Ejlers Møgelberg (IT University of Copenhagen, Denmark)
• Fredrik Nordvall Forsberg (University of Strathclyde, Scotland)
• Paige Randall North (Utrecht University, The Netherlands) (chair)
• Benno van den Berg (University of Amsterdam, The Netherlands) (secretary)

Local organisers

• Guillaume Allais (University of Strathclyde, Scotland)
• Stuart Gale (University of Strathclyde, Scotland)
• Fredrik Nordvall Forsberg (University of Strathclyde, Scotland)