Vasco Brattka
Professor for Theoretical Computer Science
and Mathematical Logic
- Office 1403, Building 41-400
Honorary Research Associate
Research Interests
- Computable Analysis
- Computability Theory
- Effective Descriptive Set Theory
- Algorithmic Randomness
- Complexity and Logic
- Weihrauch Complexity
- Machine Learning
Memberships
Awards
Professional Activities
Recent Publications
- Brattka, Vasco and Rauzy, Emmanuel, Effective second countability in computable analysis, in: Beckmann, Arnold and Oitavem, Isabel and Manea, Florin (eds.), Crossroads of Computability and Logic: Insights, Inspirations, and Innovations, vol. 15764 of Lecture Notes in Computer Science, Springer, Cham, 2025, pages 19-33
- Brattka, Vasco and Smischliaew, Hendrik, Computability of Initial Value Problems, in: Beckmann, Arnold and Oitavem, Isabel and Manea, Florin (eds.), Crossroads of Computability and Logic: Insights, Inspirations, and Innovations, vol. 15764 of LNCS, Springer, Cham, 2025, pages 191-206
- Brattka, Vasco, On the complexity of learning programs, in: Della Vedova, Gianluca and Dundua, Besik and Lempp, Steffen and Manea, Florin (eds.), Unity of Logic and Computation, vol. 13967 of Lecture Notes in Computer Science, Springer, Cham, 2023, pages 166-177
- Brattka, Vasco, The Discontinuity Problem, Journal of Symbolic Logic 88:3 (2023) 1191-1212
- Brattka, Vasco, Weihrauch complexity and the Hagen school of computable analysis, in: Löwe, Benedikt and Sarikaya, Deniz (eds.), 60 Jahre DVMLG, vol. 48 of Tributes, College Publications, London, 2022, pages 13-44
- Brattka, Vasco and Greenberg, Noam and Kalimullin, Iskander and Soskova,
Mariya (eds.), Special issue: Oberwolfach Workshop on Computability Theory 2021, vol. 11 of Computability - The Journal of the Association CiE, IOS Press, 2022
- Brattka, Vasco, Stashing-Parallelization Pentagons, Logical Methods in Computer Science 17:4 (2021) 20:1-20:29
- Brattka, Vasco and Gherardi, Guido, Completion of Choice, Annals of Pure and Applied Logic 172:3 (2021) 102914
- Brattka, Vasco and Gherardi, Guido and Pauly, Arno, Weihrauch Complexity in Computable Analysis, in: Brattka, Vasco and Hertling, Peter (eds.), Handbook of Computability and Complexity in Analysis, Theory and Applications of Computability, Springer, Cham, 2021, pages 367-417
- Brattka, Vasco and Greenberg, Noam and Kalimullin, Iskander and Soskova,
Mariya, Computability theory, Oberwolfach Reports 18:2 (2021) 1149-1190
- Brattka, Vasco and Hertling, Peter (eds.), Handbook of Computability and Complexity in Analysis, Theory and Applications of Computability, Springer, Cham, 2021
- Brattka, Vasco and Gherardi, Guido, Weihrauch Goes Brouwerian, The Journal of Symbolic Logic 85:4 (2020) 1614-1653
- Brattka, Vasco and Dzhafarov, Damir and Marcone, Alberto and Pauly,
Arno (eds.), Special issue: Dagstuhl Seminar on Measuring the Complexity of Computational
Content 2018, vol. 9 of Computability - The Journal of the Association CiE, IOS Press, 2020
- Brattka, Vasco and Le Roux, Stéphane and Miller, Joseph S. and
Pauly, Arno, Connected Choice and the Brouwer Fixed Point Theorem, Journal of Mathematical Logic 19:1 (2019) 1-46
- Brattka, Vasco and Downey, Rod G. and Knight, Julia F. and Lempp,
Steffen (eds.), Special issue: Oberwolfach Workshop on Computability Theory 2018, vol. 8 of Computability - The Journal of the Association CiE, IOS Press, 2019
- Brattka, Vasco and Dzhafarov, Damir D. and Marcone, Alberto and Pauly,
Arno (eds.), Measuring the Complexity of Computational Content: From Combinatorial
Problems to Analysis (Dagstuhl Seminar 18361), vol. 8 of Dagstuhl Reports, Schloss Dagstuhl-Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2019
- Brattka, Vasco, A Galois connection between Turing jumps and limits, Logical Methods in Computer Science 14:3:13 (2018) 1-37
- Brattka, Vasco and Downey, Rod and Knight, Julia F. and Lempp, Steffen, Computability theory, Oberwolfach Reports 15:1 (2018) 5-41
- Brattka, Vasco and Hendtlass, Matthew and Kreuzer, Alexander P., On the Uniform Computational Content of the Baire Category Theorem, Notre Dame Journal of Formal Logic 59:4 (2018) 605-636
- Brattka, Vasco and Pauly, Arno, On the Algebraic Structure of Weihrauch Degrees, Logical Methods in Computer Science 14:4:4 (2018) 1-36
Bibliographic Information
Current Events
- Oberwolfach Workshop, Mathematical Logic: Proof Theory, Constructive Mathematics, Oberwolfach, Germany, 15-20 November 2026 (Invited participant)
- CL 2026, Colloquium Logicum 2026, Würzburg, Germany, 21-24 September 2026 (Programme committee member)
- CCA 2026, Twenty-Third International Conference on Computability and Complexity in Analysis, Trier, Germany, 29-31 July 2026 (Chair of the steering committee)
- CiE 2026, Computability in Europe, Trier, Germany, 27-31 July 2026 (Co-chair of the programme committee)
- 40th Summer Conference on Topology and its Applications, Split, Croatia, 13-17 July 2026 (Invited special session speaker)
- Taming the Infinite: Logic, Algebra, and Constructive Mathematics, Verona, Italy, 20 April 2026 (Invited speaker)
- 13th Annual Conference of the Iranian Association for Logic, Logic in AI, virtual, 16-17 February 2026 (Invited talk)
- Seminar Mathematical Foundations of AI, LMU München, 5 February 2026 (Invited seminar talk)
- CCA 2025, Twenty-Second International Conference on Computability and Complexity in Analysis, Kyoto, Japan, 24-26 September 2025 (Chair of the steering committee)
- CiE 2025, Computability in Europe, Lisbon, Portugal, 14-18 July 2025 (Contributed talk)
- 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)
