• +49 89 6004 2243
  • +49 89 6004 2876
  • Office 1403, Building 41-400

Honorary Research Associate


Memberships




Professional Activities


Recent Publications


Bibliographic Information


Current Events


  • CCR 2022, International Conference on Computability, Complexity and Randomness, Isaac Newton Institute for Mathematical Sciences, Cambridge, UK, 6-10 June 2022 (Invited Speaker)
  • Leeds Computability Days 2022, Leeds, UK, 1-3 June 2022 (Invited Speaker)
  • CCA 2022, Nineteenth International Conference on Computability and Complexity in Analysis, Glenside, PA, USA, 23-26 May 2022 (Chair of the Steering Committee)
  • Dagstuhl Seminar, Descriptive Set Theory and Computable Topology, Dagstuhl, Germany, 14-19 November 2021 (Invited Participant)
  • CCA 2021, Eighteenth International Conference on Computability and Complexity in Analysis, Munich, Germany (virtual), 26-28 July 2021 (Chair of the Organizing Committee)
  • WDCM 2021, Third Workshop on Digitalization and Computable Models, Novosibirsk and Kazan, Russia, online, 28 June - 2 July 2021 (Invited Talk)
  • ASL North American Annual Meeting 2021, University of Notre Dame, USA, Virtual, 22-25 June 2021 (Invited Special Session Talk)
  • Oberwolfach Workshop, Computability Theory, Oberwolfach, Germany, 25 April - 1 May 2021 (Co-Organizer)
  • Oberwolfach Workshop, Mathematical Logic: Proof Theory, Constructive Mathematics, Oberwolfach, Germany, 8-14 November 2020 (Invited Participant)
  • CCA 2020, Seventeenth International Conference on Computability and Complexity in Analysis, Bologna, Italy (virtual), 9-11 September 2020 (Chair of the Steering Committee)
  • ABMV 2019, Logik-Arbeitstagung Bern, München und Verona, Munich, Germany, 12-13 December 2019
  • CiE 2019, Computability in Europe, Durham, UK, 15-19 July 2019 (Informal Contributed Talk)
  • CCA 2019, Sixteenth International Conference on Computability and Complexity in Analysis, Zagreb, Croatia, 8-11 July 2019 (Chair of the Programme and Steering Committees)
  • Shanin 100, St. Petersburg Days of Logic and Computability IV, Saint Petersburg, Russia, 23-26 May 2019 (Invited Speaker)
  • Joint Meeting of the Korean Mathematical Society and the German Mathematical Society, Seoul, Republic of Korea, 3-6 October 2018 (Invited Special Session Talk)
  • CCC 2018, Computability, Constructivity - From Logic to Algorithms, Faro, Portugal, 24-28 September 2018 (Invited Speaker)
  • Dagstuhl Seminar, Measuring the Complexity of Computational Content: From Combinatorial Problems to Analysis, Dagstuhl, Germany, 3-7 September 2018 (Co-Organizer)
  • CCA 2018, Fifteenth International Conference on Computability and Complexity in Analysis, Kochel am See, Germany, 5-8 August 2018 (Chair of the Organising Committee)
  • LC 2018, Logic Colloquium, Udine, Italy, 23-28 July 2018 (Invited Plenary Lecture)
  • RaTLoCC 2018, Ramsey Theory in Logic, Combinatorics and Complexity, Bertinoro, Forli-Cesena, Italy, 15-20 July 2018 (Invited Participant)