• +49 89 6004 2243
  • +49 89 6004 2876
  • Office 1403, Building 41-400

Honorary Research Associate


Memberships




Award


Professional Activities


Recent Publications


  • 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 Kawamura, Akitoshi and Marcone, Alberto and Pauly, Arno (eds.), Measuring the Complexity of Computational Content (Dagstuhl Seminar 15392), vol. 5 of Dagstuhl Reports, Schloss Dagstuhl-Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2016
  • 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 and Hendtlass, Matthew and Kreuzer, Alexander P., On the Uniform Computational Content of the Baire Category Theorem, Notre Dame Journal of Formal Logic (accepted for publication) (2016)
  • 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 2, 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 1, vol. 25 of Mathematical Structures in Computer Science, Cambridge University Press, Cambridge, 2015
  • Brattka, Vasco and Gherardi, Guido and Hölzl, Rupert, Probabilistic Computability and Choice, Information and Computation 242 (2015) 249-286

Bibliographic Information


Current Events


  • Oberwolfach Seminar, Computability Theory, Oberwolfach, Germany, 7-13 January 2018 (Co-organizer)
  • Oberwolfach Seminar, Mathematical Logic: Proof Theory, Constructive Mathematics, Oberwolfach, Germany, 5-11 November 2017 (Invited Participant)
  • 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)
  • 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)
  • STACS 2017, 34th International Symposium on Theoretical Aspects of Computer Science, Hannover, Germany, 8-11 March 2017 (Contributed talk)
  • Dagstuhl Seminar, Computability Theory, Dagstuhl, Germany, 19-24 February 2017 (Co-Organizer)
  • Second CORE Meeting, Munich, Germany, 27 January 2017 (Invited Participant)
  • Workshop on Constructivism, Logic and Topology, Berne, Switzerland, 17-18 January 2017 (Invited participant)
  • BIRS-CMO Workshop, Algorithmic Randomness Interacts with Analysis and Ergodic Theory, Oaxaca, Mexico, 4-9 December 2016 (Invited Participant)
  • Arbeitstreffen, Meeting Computability and the BSS model, Kloster, Hiddensee, 8-12 August 2016 (Invited Participant)
  • CiE 2016, Computability in Europe, Pursuit of the Universal, Paris, France, 27 June - 1 July 2016 (Keynote Lecture)
  • CCA 2016, Thirteenth International Conference on Computability and Complexity in Analysis, Faro, Portugal, 15-17 June 2016 (Chair of the Steering Committee)
  • ATC 2016, Symposium on Algebra, Topology and Category Theory, Cape Town, South Africa, 30 March - 1 April 2016
  • New Challenges in Reverse Mathematics, Programme of the Institute for Mathematical Sciences, National University Singapore, Singapore, 3-16 January 2016 (Invited Participant)
  • Dagstuhl Seminar, Duality in Computer Science, Dagstuhl, Germany, 25-30 October 2015 (Invited Participant)
  • Dagstuhl Seminar, Measuring the Complexity of Computational Content: Weihrauch Reducibility and Reverse Analysis, Dagstuhl, Germany, 20-25 September 2015 (Co-Organiser)
  • CCC 2015, Continuity, Computability, Constructivity - From Logic to Algorithms, Schloss Aspenstein, Kochel am See, Germany, 14-18 September 2015 (Programme Committee Member)
  • CCA 2015, Twelfth International Conference on Computability and Complexity in Analysis, Tokyo, Japan, 12-15 July 2015 (Chair of the Steering Committee)
  • CiE 2015, Computability in Europe, Evolving Computability, Bucharest, Romania, 29 June - 3 July 2015