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, 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, The Discontinuity Problem, Journal of Symbolic Logic (2022)
- 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
- Brattka, Vasco and Hölzl, Rupert and Kuyper, Rutger, Monte Carlo Computability, in: Vollmer, Heribert and Vallée, Brigitte (eds.), 34th Symposium on Theoretical Aspects of Computer Science (STACS 2017), vol. 66 of Leibniz International Proceedings in Informatics (LIPIcs), Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 2017, pages 17:1-17:14
Bibliographic Information
Current Events
- Oberwolfach Workshop,
Mathematical Logic: Proof Theory, Constructive Mathematics, Oberwolfach, Germany, 12-18 November 2023 (Invited participant)
- 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)
- 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, Sorbonne Université, 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)
- ASL North American Annual Meeting 2021,
University of Notre Dame, USA, Virtual, 22-25 June 2021 (Invited Special Session Talk)
- Oberwolfach Workshop,
Computability Theory, Oberwolfach, Germany, 25 April - 1 May 2021 (Co-Organizer)