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