Association Computability in Europe (ACiE)
|
-
2005–2025. Member of the conference series steering committee
(2005–2013 chair; 2013–2025 regular member).
-
2008–2016. Member of the Board.
-
2017–2025. Member of the Council.
|
Deutsche Vereinigung für Mathematische Logik und für Grundlagenforschung der exakten Wissenschaften (DVMLG)
|
-
2006–2030. Vorstandsmitglied.
-
2008–2012. Stellvertretender Vorsitzender.
-
2012–2022. Vorsitzender.
-
2022–2026. Kassenwart (2022–2024 kommissarisch).
|
European Association for Computer Science Logic (EACSL)
|
2008–2016. Member of the Board.
|
Association for Logic in India (ALI)
|
2009–2025. Member of the Council.
|
Nederlandse Vereniging voor Logica & Wijsbegeerte
der Exacte Wetenschappen (VvL)
|
2011–2017 &
2021–2027. Bestuurslid.
|
International
Union for History and Philosophy of Science and Technology (IUHPST)
|
-
2012–2015. Assistant Secretary General of the
Division for Logic,
Methodology and Philosophy of Science and Technology.
-
2016–2023. Secretary General of the
Division for Logic,
Methodology and Philosophy of Science and Technology.
-
2018–2019 &
2022–2023.
Secretary General.
|
Deutsche Mathematiker-Vereinigung
(DMV)
|
-
2012–2022. Sprecher der Fachgruppe Mathematische Logik.
-
2016–2020.
Beauftragter für Fachgruppen.
-
2022–2026.
Zweiter stellvertretender Sprecher der Fachgruppe Mathematische Logik.
|
International Association for Science and
Cultural Diversity (IASCUD)
|
-
2013–2017 &
2021–2025. Assessor.
-
2017–2021.
First Vice President.
|
Commission for the History and Philosophy of Computing (HaPoC)
|
2013–2017.
Member of the Council.
|
Worshipful Company of Educators
|
-
2015–2016. Freeman.
-
since 2016. Liveryman.
-
2017–2023. SIG Lead of the
Special Interest Group Higher Education.
|
International Council for Science
(ICSU)
|
2017–2023.
Member of the ICSU-ISSC Strategy Working Group.
|
Conseil International de Philosophie et des
Sciences Humaines (CIPSH)
|
-
2017–2027. Member of the Executive Committee.
-
2020–2023.
Coordinator UNESCO World Logic Day.
-
2023–2027.
Chair of the World Logic Day Advisory Panel.
-
2023–2027.
Vice President.
|
Association for Logic,
Language and Information (FoLLI)
|
-
2019.
Member of the Jury for the E. W. Beth Prize.
-
2020–2024.
Member of the Management Board.
-
2024–2026.
Vice President.
|
Mathematische Gesellschaft in Hamburg
(established 1690 as Kunst-Rechnungs-liebende Societät)
|
- 2020–2024. Archivar.
- 2024–2025. Mitadjunkt.
|
Association for Women in Mathematics (AWM)
|
- 2021.
Judge of the AWM/MfA Essay Contest.
- 2025.
Judge of the AWM/MfA Essay Contest.
|
London Mathematical Society (LMS)
|
- 2023–2026. Member of the Publications Committee.
- 2023–2026. Member of the Early Stage Research Committee.
|
Council for the Defence of British Universities (CDBU)
|
2023–2026. Ordinary Member of the Executive Committee.
|
Studienstiftung des deutschen Volkes
|
2024–2028. Vertrauensdozent.
|
Akademie der Wissenschaften in Hamburg
|
2024–2027. Mitglied des Zuwahlausschusses.
|