Ausgewählte Forschungsprojekte
- Can Software be 'responsible'?, Volkswagen-Stiftung, 2019-2020.
- Hilbert's 24th Problem, Portugiesische Forschungsgemeinschaft FCT, 2016-2019.
- Hilbert Bernays Summerschool on Logic and Computation, DAAD, 2015-2020.
Forschungsprofil
Ausgewählte Forschungsschwerpunkte
- Mathematische Logik
- Geschichte der Logik
- Geschichte der Mathematik
- Verantwortung (in) der Wissenschaft
Kontakt