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
Memberships
Award
Professional Activities
Recent Publications
- 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 Le Roux, Stéphane and Miller, Joseph S. and Pauly, Arno, Connected Choice and the Brouwer Fixed Point Theorem, Journal of Mathematical Logic (accepted for publication) (2018)
- Brattka, Vasco, A Galois connection between Turing jumps and limits, Logical Methods in Computer Science 14:3:13 (2018) 1-37
- Brattka, Vasco and Rakotoniaina, Tahina, On the Uniform Computational Content of Ramsey's Theorem, Journal of Symbolic Logic 82:4 (2017) 1278-1316
- Brattka, Vasco and Hendtlass, Matthew and Kreuzer, Alexander P., On the Uniform Computational Content of Computability Theory, Theory of Computing Systems 61:4 (2017) 1376-1426
- 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
- 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 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 Miller, Joseph S. and Nies, André, Randomness and Differentiability, Transactions of the American Mathematical Society 368:1 (2016) 581-605
- Brattka, Vasco and Le Roux, Stéphane and Miller, Joseph S. and Pauly, Arno, The Brouwer Fixed Point Theorem Revisited, in: Beckmann, Arnold and Bienvenu, Laurent and Jonoska, Nataša (eds.), Pursuit of the Universal, vol. 9709 of Lecture Notes in Computer Science, Springer, Switzerland, 2016, pages 58-67
- Brattka, Vasco, Computability and Analysis, a Historical Approach, in: Beckmann, Arnold and Bienvenu, Laurent and Jonoska, Nataša (eds.), Pursuit of the Universal, vol. 9709 of Lecture Notes in Computer Science, Springer, Switzerland, 2016, pages 45-57
- Berger, Ulrich and Brattka, Vasco and Selivanov, Victor and Spreen, Dieter and Tsuiki, Hideki (eds.), Computing with Infinite Data: Topological and Logical Foundations Part 1, vol. 25 of Mathematical Structures in Computer Science, Cambridge University Press, Cambridge, 2015
- Berger, Ulrich and Brattka, Vasco and Selivanov, Victor and Spreen, Dieter and Tsuiki, Hideki (eds.), Computing with Infinite Data: Topological and Logical Foundations Part 2, vol. 25 of Mathematical Structures in Computer Science, Cambridge University Press, Cambridge, 2015
- Brattka, Vasco and Gherardi, Guido and Hölzl, Rupert, Las Vegas Computability and Algorithmic Randomness, in: Mayr, Ernst W. and Ollinger, Nicolas (eds.), 32nd International Symposium on Theoretical Aspects of Computer Science (STACS 2015), vol. 30 of Leibniz International Proceedings in Informatics (LIPIcs), Schloss Dagstuhl-Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2015, pages 130-142
Bibliographic Information
Current Events
- Dagstuhl Seminar,
Descriptive Set Theory and Computable Topology, Dagstuhl, Germany, 13-17 April 2020 (Invited Participant)
- CiE 2019,
Computability in Europe, Durham, UK, 15-19 July 2019 (Informal Contributed Talk)
- CCA 2019,
Sixteenth International Conference on Computability and Complexity in Analysis, Zagreb, Croatia, 8-11 July 2019 (Chair of the Programme and Steering Committees)
- Shanin 100,
St. Petersburg Days of Logic and Computability IV, Saint Petersburg, Russia, 23-26 May 2019 (Invited Speaker)
- Joint Meeting of the Korean Mathematical Society and the German Mathematical Society,
Seoul, Republic of Korea, 3-6 October 2018 (Invited Special Session Talk)
- CCC 2018,
Computability, Constructivity - From Logic to Algorithms, Faro, Portugal, 24-28 September 2018 (Invited Speaker)
- Dagstuhl Seminar,
Measuring the Complexity of Computational Content: From Combinatorial Problems to Analysis, Dagstuhl, Germany, 3-7 September 2018 (Co-Organizer)
- CCA 2018,
Fifteenth International Conference on Computability and Complexity in Analysis, Kochel am See, Germany, 5-8 August 2018 (Chair of the Organising Committee)
- LC 2018,
Logic Colloquium, Udine, Italy, 23-28 July 2018 (Invited Plenary Lecture)
- RaTLoCC 2018,
Ramsey Theory in Logic, Combinatorics and Complexity, Bertinoro, Forli-Cesena, Italy, 15-20 July 2018 (Invited Participant)
- Logical Perspectives 2018,
Saint Petersburg, Russia, 14-18 May 2018 (Invited Talk)
- 3rd CORE Meeting,
Munich, Germany, 26 January 2018 (Invited talk)
- Oberwolfach Seminar,
Computability Theory, Oberwolfach, Germany, 7-13 January 2018 (Co-Organizer)
- ABM 2017,
Logik-Arbeitstagung Bern-München, Munich, Germany, 14-15 December 2017
- Oberwolfach Seminar,
Mathematical Logic: Proof Theory, Constructive Mathematics, Oberwolfach, Germany, 5-11 November 2017 (Invited Participant)
- SOTFOM 4-Reverse Mathematics,
Symposia on the Foundations of Mathematics, Munich, Germany, 9-11 October 2017 (Contributed Talk)
- 19th ÖMG Congress and Annual DMV Meeting,
Joint Meeting of the Austrian and German Mathematical Societies, Salzburg, Austria, 11-15 September 2017 (Section Co-Organizer)
- Arbeitstreffen,
Computability and Reducibility, Kloster, Hiddensee, Germany, 6-11 August 2017 (Invited Participant)
- CCA 2017,
Fourteenth International Conference on Computability and Complexity in Analysis, Daejeon, Republic of Korea, 24-27 July 2017 (Chair of the Steering Committee)
- CiE 2017,
Computability in Europe, Unveiling Dynamics and Complexity, Turku, Finland, 12-16 June 2017 (Programme Committee Member)
