• +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


  • Oberwolfach Workshop, Mathematical Logic: Proof Theory, Constructive Mathematics, Oberwolfach, Germany, 12-18 November 2023 (Invited participant)
  • CiE 2023, Computability in Europe, Batumi, Georgia, 24-28 July 2023 (Member of the programme committee)
  • CCR 2023, 16th International Conference on Computability, Complexity and Randomness, Kochel am See, Germany, 10-14 July 2023 (Co-organizer)
  • Logic Colloquium 2023, ASL European Summer Meeting, Milano, Italy, 5-9 June 2023 (Member of the ASL committee for logic in Europe)
  • Colloquium Logicum, Konstanz, Germany, 26-28 September 2022 (Contibuted talk)
  • DiL 2022, Days in Logic, Faro, Portugal, 30 June - 2 July 2022 (Invited tutorial speaker)
  • Logic Webinar, School of Mathematics, Institute for Research in Fundamental Sciences (IPM), Tehran, Iran, 22 June 2022 (Invited speaker)
  • 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, 30 May - 1 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)
  • CIRM Seminar New Directions in Computability Theory, Marseille, France, 7-11 March 2022 (Invited participant)
  • 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)