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


  • CiE 2017, Computability in Europe, Turku, Finland, 12-16 June 2017 (Programme Committee Member)
  • Dagstuhl Seminar, Computability Theory, Dagstuhl, Germany, 19-24 February 2017 (Co-Organizer)
  • Workshop on Constructivism, Logic and Topology, Berne, Switzerland, 17-18 January 2017 (Invited participant)
  • CCS 2017, Computability and Complexity Symposium 2017, Raumati, New Zealand, 5-8 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)
  • CCA 2016, Thirteenth International Conference on Computability and Complexity in Analysis, Faro, Portugal, 15-17 June 2016 (Chair of the Steering Committee)
  • ATC 2016, Symposium on Algebra, Topology and Category Theory, Cape Town, South Africa, 30 March - 1 April 2016
  • New Challenges in Reverse Mathematics, Programme of the Institute for Mathematical Sciences, National University Singapore, Singapore, 3-16 January 2016 (Invited Participant)
  • Dagstuhl Seminar, Duality in Computer Science, Dagstuhl, Germany, 25-30 October 2015 (Invited Participant)
  • Dagstuhl Seminar, Measuring the Complexity of Computational Content: Weihrauch Reducibility and Reverse Analysis, Dagstuhl, Germany, 20-25 September 2015 (Co-Organiser)
  • CCC 2015, Continuity, Computability, Constructivity - From Logic to Algorithms, Schloss Aspenstein, Kochel am See, Germany, 14-18 September 2015 (Programme Committee Member)
  • CCA 2015, Twelfth International Conference on Computability and Complexity in Analysis, Tokyo, Japan, 12-15 July 2015 (Chair of the Steering Committee)
  • CiE 2015, Computability in Europe, Evolving Computability, Bucharest, Romania, 29 June - 3 July 2015
  • VAI 2015, Varieties of Algorithmic Information, Heidelberg, Germany, 15-18 June 2015 (Invited Speaker)
  • STACS 2015, 32nd Symposium on Theoretical Aspects of Computer Science, Munich, Germany, 4-7 March 2015
  • Oberwolfach Workshop, Mathematical Logic: Proof theory, Constructive Mathematics, Oberwolfach, Germany, 16-22 November 2014 (Invited Participant)
  • CCC 2014, Continuity, Computability, Constructivity - From Logic to Algorithms, Ljubljana, Slovenia, 15-19 September 2014 (Invited Speaker)
  • CL 2014, Colloquium Logicum, Munich, Germany, 4-6 September 2014 (Local Organizer, Programm Committee Member)