Vasco Brattka
Professor for Theoretical Computer Science
and Mathematical Logic

Institute for Theoretical Computer Science,
Mathematics and Operations Research
Faculty of Computer Science
Universität der Bundeswehr München
Werner-Heisenberg-Weg 39
85577 Neubiberg, Germany
Phone +49 89 6004 2243
Fax  +49 89 6004 2876
Email  (teaching)

My scientific interests are mainly related to the following topics:
  • Computable Analysis
  • Computability Theory
  • Effective Descriptive Set Theory
  • Algorithmic Randomness
  • Complexity and Logic

Network on Computability & Complexity in Analysis

Talk presented at CiE 2005, Amsterdam and CCA 2006, Florida:

Courses offered at the University of Cape Town (2004-2012):

Information for Postgraduate Students

Some CCA-CCR 2011 participants at UCT.
Some recent publications:

List of all publications
Preprints in arXiv
      ResearcherID (Web of Science)
References in Mathematical Reviews (AMS)
References in the Digital Library (ACM)

Committee activities: Memberships in further scientific organisations: Award: Research activities:

Here is a list of conferences and other meetings that I am involved in:
  • 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)

List of all conferences