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

Honorary Research Associate


Memberships




Award


Professional Activities


Recent Publications


Bibliographic Information


Current Events


  • 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)
  • Logical Perspectives 2018, Saint Petersburg, Russia, 14-18 May 2018 (Invited Talk)
  • Oberwolfach Seminar, Computability Theory, Oberwolfach, Germany, 7-13 January 2018 (Co-Organizer)
  • ABM 2017, Logik-Arbeitstagung Bern-München, Munich, Germany, 14-15 December 2017
  • Oberwolfach Seminar, Mathematical Logic: Proof Theory, Constructive Mathematics, Oberwolfach, Germany, 5-11 November 2017 (Invited Participant)
  • SOTFOM 4-Reverse Mathematics, Symposia on the Foundations of Mathematics, Munich, Germany, 9-11 October 2017 (Contributed Talk)
  • 19th ÖMG Congress and Annual DMV Meeting, Joint Meeting of the Austrian and German Mathematical Societies, Salzburg, Austria, 11-15 September 2017 (Section Co-Organizer)
  • Arbeitstreffen, Computability and Reducibility, Kloster, Hiddensee, Germany, 6-11 August 2017 (Invited Participant)
  • CCA 2017, Fourteenth International Conference on Computability and Complexity in Analysis, Daejeon, Republic of Korea, 24-27 July 2017 (Chair of the Steering Committee)
  • CiE 2017, Computability in Europe, Unveiling Dynamics and Complexity, Turku, Finland, 12-16 June 2017 (Programme Committee Member)
  • STACS 2017, 34th International Symposium on Theoretical Aspects of Computer Science, Hannover, Germany, 8-11 March 2017 (Contributed Talk)
  • Dagstuhl Seminar, Computability Theory, Dagstuhl, Germany, 19-24 February 2017 (Co-Organizer)
  • Second CORE Meeting, Munich, Germany, 27 January 2017 (Invited Participant)
  • Workshop on Constructivism, Logic and Topology, Berne, Switzerland, 17-18 January 2017 (Invited Participant)
  • BIRS-CMO Workshop, Algorithmic Randomness Interacts with Analysis and Ergodic Theory, Oaxaca, Mexico, 4-9 December 2016 (Invited Participant)
  • Arbeitstreffen, Meeting Computability and the BSS model, Kloster, Hiddensee, 8-12 August 2016 (Invited Participant)
  • CiE 2016, Computability in Europe, Pursuit of the Universal, Paris, France, 27 June - 1 July 2016 (Keynote Lecture)