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)   (research)

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: Tutorial: Computability & Complexity in Analysis Courses offered at the University of Cape Town (2004-2012): Logic & Computation Computability Theory Computability & Complexity Quantum Computing Information for Postgraduate Students

Some CCA-CCR 2011 participants at UCT.

Some recent publications: Vasco Brattka, Matthew de Brecht and Arno Pauly. Closed choice and a Uniform Low Basis Theorem. Annals of Pure and Applied Logic, 163(8):986-1008, 2012. Vasco Brattka, Guido Gherardi and Alberto Marcone. The Bolzano-Weierstrass Theorem is the jump of Weak König's Lemma. Annals of Pure and Applied Logic, 163(6):623-655, 2012. Vasco Brattka and Guido Gherardi. Weihrauch Degrees, Omniscience Principles and Weak Computability. Journal of Symbolic Logic, 76(1):143-176, 2011. Vasco Brattka and Guido Gherardi. Effective Choice and Boundedness Principles in Computable Analysis. Bulletin of Symbolic Logic, 17(1):73-117, 2011. Vasco Brattka and Ruth Dillhage. Computability of finite-dimensional linear subspaces and best approximation. Annals of Pure and Applied Logic, 162:182-193, 2010. Vasco Brattka. A computable version of Banach's inverse mapping theorem. Annals of Pure and Applied Logic, 157:85-96, 2009. Vasco Brattka and Guido Gherardi. Borel complexity of topological operations on computable metric spaces. Journal of Logic and Computation, 19(1):45-76, 2009. Margaret Archibald, Vasco Brattka, and Clemens Heuberger. Randomness with respect to the signed-digit representation. Fundamenta Informaticae, 83(1-2):1-19, 2008. Vasco Brattka. Borel complexity and computability of the Hahn-Banach Theorem. Archive for Mathematical Logic, 46(7-8):547-564, 2008. Vasco Brattka. Plottable real number functions and the computable graph theorem. SIAM Journal on Computing, 38(1):303-328, 2008. Vasco Brattka, Peter Hertling, and Klaus Weihrauch. A tutorial on computable analysis. In S. Barry Cooper, Benedikt Löwe, and Andrea Sorbi, editors, New Computational Paradigms: Changing Conceptions of What is Computable, pages 425-491. Springer, New York, 2008. Vasco Brattka. From Hilbert's 13th Problem to the theory of neural networks: constructive aspects of Kolmogorov's Superposition Theorem. In Éric Charpentier, Annick Lesne, and Nikolai Nikolski, editors, Kolmogorov's Heritage in Mathematics, pages 253-280. Springer, Berlin, 2007. Vasco Brattka and Ruth Dillhage. On computable compact operators on computable Banach spaces with bases. Mathematical Logic Quarterly, 53(4-5):345-364, 2007. Vasco Brattka and Atsushi Yoshikawa. Towards computability of elliptic boundary value problems in variational formulation. Journal of Complexity, 22(6):858-880, 2006. Vasco Brattka. Computability on non-separable Banach spaces and Landau's theorem. In Laura Crosilla and Peter Schuster, editors, From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics, pages 316-333. Oxford University Press, 2005. Vasco Brattka. Effective Borel measurability and reducibility of functions. Mathematical Logic Quarterly, 51(1):19-44, 2005. Vasco Brattka and Ruth Dillhage. Computability of the spectrum of self-adjoint operators. Journal of Universal Computer Science, 11(12):1884-1900, 2005. Vasco Brattka and Matthias Schröder. Computing with sequences, weak topologies and the axiom of choice. In Luke Ong, editor, Computer science logic, volume 3634 of Lecture Notes in Computer Science, pages 462-476. Springer, 2005. List of all publications Preprints in arXiv       ResearcherID (Web of Science) References in Mathematical Reviews (AMS) References in the Digital Library (ACM)

Committee activities: Chair of the Steering Committee of the international conference series Computability and Complexity in Analysis (CCA). Editor-in-Chief of Computability, the journal of the association CiE, published by IOS Press in Amsterdam. Member of the Editorial Board of the book series Theory and Applications of Computability, published by Springer in Heidelberg in cooperation with CiE. Member of the Publications Committee of the Association Computability in Europe (CiE). Member of the Editorial Board of the Journal of Universal Computer Science. Memberships in further scientific organisations: Member of the Association for Symbolic Logic (ASL). Member of the American Mathematical Society (AMS). Member of the European Association of Theoretical Computer Science (EATCS). Member of the Deutsche Vereinigung für Mathematische Logik und für Grundlagen der Exakten Wissenschaften (DVMLG). Award: Silver Medal of the Kurt Gödel Research Prize Fellowship 2008. Research activities: Honorary Research Associate at the Department of Mathematics & Applied Mathematics of the University of Cape Town, South Africa. Visiting Fellow of the Isaac Newton Institute for Mathematical Sciences in Cambridge, UK in June 2012.

Here is a list of conferences and other meetings that I am involved in: CCA 2025, Twenty-Second International Conference on Computability and Complexity in Analysis, Kyoto, Japan, 24-26 September 2025 (Chair of the steering committee) Dagstuhl Seminar, Weihrauch Complexity: Structuring the Realm of Non-Computability, Dagstuhl, Germany, 23-28 March 2025 (Co-Organizer) CT 2024, Seminar on Computable Topology, Kochel am See, Germany, 13-15 September 2024 (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) List of all conferences