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

Honorary Research Associate


Memberships




Awards


Professional Activities


Recent Publications


Bibliographic Information


Current Events


  • Dagstuhl Seminar, Weihrauch Complexity: Structuring the Realm of Non-Computability, Dagstuhl, Germany, 23-28 March 2025 (Co-Organizer)
  • CCA 2024, Twenty-First International Conference on Computability and Complexity in Analysis, Swansea, UK, 15-18 July 2024 (Chair of the steering committee)
  • Oberwolfach Workshop, Mathematical Logic: Proof Theory, Constructive Mathematics, Oberwolfach, Germany, 12-18 November 2023 (Invited participant)
  • CCA 2023, Twentieth International Conference on Computability and Complexity in Analysis, Dubrovnik, Croatia, 7-9 September 2023 (Chair of the steering committee )
  • 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)
  • Online Machine Learning Seminar, The University of Nottingham, Nottingham, UK, 14 June 2023 (Invited seminar talk)
  • Logic Colloquium 2023, ASL European Summer Meeting, Milano, Italy, 5-9 June 2023 (Special session organizer)
  • Séminaire Général de Logique, Institut de Mathématiques de Jussieu-Paris Rive Gauche, Paris, France, 27 March 2023 (Seminar presentation)
  • 10th Annual Conference of the Iranian Logic Association, Tehran, Iran, 22-23 February 2023 (Invited talk)
  • UNESCO World Logic Day Seminar, Cross-Alps Logic Seminar, Università degli Studi di Torino, Italy, online, 13 January 2023 (Invited presentation)
  • 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)
  • Online Logic Seminar Southern Illinois University, online, 2 December 2021 (Invited seminar talk)
  • Dagstuhl Seminar, Descriptive Set Theory and Computable Topology, Dagstuhl, Germany, 14-19 November 2021 (Invited Participant)