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
Memberships
Awards
Professional Activities
Recent Publications
- 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
- Brattka, Vasco and Cettolo, Andrea and Gherardi, Guido and Marcone, Alberto and Schröder, Matthias, Addendum to: "The Bolzano-Weierstrass Theorem is the Jump of Weak Kőnig's Lemma", Annals of Pure and Applied Logic 168:8 (2017) 1605-1608
- Brattka, Vasco and Gherardi, Guido and Hölzl, Rupert and Pauly, Arno, The Vitali Covering Theorem in the Weihrauch Lattice, in: Day, Adam and Fellows, Michael and Greenberg, Noam and Khoussainov, Bakhadyr and Melnikov, Alexander and Rosamond, Frances (eds.), Computability and Complexity: Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday, vol. 10010 of Lecture Notes in Computer Science, Springer, Cham, 2017, pages 188-200
Bibliographic Information
Current Events
- 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)
- CCA 2021,
Eighteenth International Conference on Computability and Complexity in Analysis, Munich, Germany (virtual), 26-28 July 2021 (Chair of the Organizing Committee)
- WDCM 2021,
Third Workshop on Digitalization and Computable Models, Novosibirsk and Kazan, Russia, online, 28 June - 2 July 2021 (Invited Talk)
