Vasco Brattka Associate Professor - Head of Department Laboratory of Foundational Aspects of Computer Science Department of Mathematics & Applied Mathematics University of Cape Town Private Bag Rondebosch 7701 South Africa   Phone   +27 21 650 3191 (secretaries) Fax   +27 21 650 2334 Email   (headship)   (teaching)   (research)

Courses offered at the University of Cape Town: Logic & Computation Computability Theory Computability & Complexity Quantum Computing Information for Postgraduate Students My scientific interests are mainly related to the following topics: Computable Analysis Computability Theory Effective Descriptive Set Theory Algorithmic Randomness Complexity and Logic Network on Computability & Complexity in Analysis Talk presented at CiE 2005, Amsterdam and CCA 2006, Florida: Tutorial: Computability & Complexity in Analysis

Some CCA-CCR 2011 participants at UCT.

Some recent publications: Vasco Brattka, Matthew de Brecht and Arno Pauly. Closed choice and a Uniform Low Basis Theorem. Annals of Pure and Applied Logic, 163(8):986-1008, 2012. Vasco Brattka, Guido Gherardi and Alberto Marcone. The Bolzano-Weierstrass Theorem is the jump of Weak König's Lemma. Annals of Pure and Applied Logic, 163(6):623-655, 2012. Vasco Brattka and Guido Gherardi. Weihrauch Degrees, Omniscience Principles and Weak Computability. Journal of Symbolic Logic, 76(1):143-176, 2011. Vasco Brattka and Guido Gherardi. Effective Choice and Boundedness Principles in Computable Analysis. Bulletin of Symbolic Logic, 17(1):73-117, 2011. Vasco Brattka and Ruth Dillhage. Computability of finite-dimensional linear subspaces and best approximation. Annals of Pure and Applied Logic, 162:182-193, 2010. Vasco Brattka. A computable version of Banach's inverse mapping theorem. Annals of Pure and Applied Logic, 157:85-96, 2009. Vasco Brattka and Guido Gherardi. Borel complexity of topological operations on computable metric spaces. Journal of Logic and Computation, 19(1):45-76, 2009. Margaret Archibald, Vasco Brattka, and Clemens Heuberger. Randomness with respect to the signed-digit representation. Fundamenta Informaticae, 83(1-2):1-19, 2008. Vasco Brattka. Borel complexity and computability of the Hahn-Banach Theorem. Archive for Mathematical Logic, 46(7-8):547-564, 2008. Vasco Brattka. Plottable real number functions and the computable graph theorem. SIAM Journal on Computing, 38(1):303-328, 2008. Vasco Brattka, Peter Hertling, and Klaus Weihrauch. A tutorial on computable analysis. In S. Barry Cooper, Benedikt Löwe, and Andrea Sorbi, editors, New Computational Paradigms: Changing Conceptions of What is Computable, pages 425-491. Springer, New York, 2008. Vasco Brattka. From Hilbert's 13th Problem to the theory of neural networks: constructive aspects of Kolmogorov's Superposition Theorem. In Éric Charpentier, Annick Lesne, and Nikolai Nikolski, editors, Kolmogorov's Heritage in Mathematics, pages 253-280. Springer, Berlin, 2007. Vasco Brattka and Ruth Dillhage. On computable compact operators on computable Banach spaces with bases. Mathematical Logic Quarterly, 53(4-5):345-364, 2007. Vasco Brattka and Atsushi Yoshikawa. Towards computability of elliptic boundary value problems in variational formulation. Journal of Complexity, 22(6):858-880, 2006. Vasco Brattka. Computability on non-separable Banach spaces and Landau's theorem. In Laura Crosilla and Peter Schuster, editors, From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics, pages 316-333. Oxford University Press, 2005. Vasco Brattka. Effective Borel measurability and reducibility of functions. Mathematical Logic Quarterly, 51(1):19-44, 2005. Vasco Brattka and Ruth Dillhage. Computability of the spectrum of self-adjoint operators. Journal of Universal Computer Science, 11(12):1884-1900, 2005. Vasco Brattka and Matthias Schröder. Computing with sequences, weak topologies and the axiom of choice. In Luke Ong, editor, Computer science logic, volume 3634 of Lecture Notes in Computer Science, pages 462-476. Springer, 2005. List of all publications ResearcherID (Web of Science) References in Mathematical Reviews (AMS) References in the Digital Library (ACM) Preprints in arXiv

Some current scientific activities: Chair of the Steering Committee of the international conference series Computability and Complexity in Analysis (CCA). Editor-in-Chief of Computability, the journal of the association CiE, published by IOS Press in Amsterdam. Member of the Editorial Board of the book series Theory and Applications of Computability, published by Springer in Heidelberg in cooperation with CiE. Member of the Publications Committee of the Association Computability in Europe (CiE). Member of the Editorial Board of the Journal of Universal Computer Science. Memberships in additional scientific organisations: Member of the Association for Symbolic Logic (ASL). Member of the American Mathematical Society (AMS). Member of the European Association of Theoretical Computer Science (EATCS). Member of the Deutsche Vereinigung für Mathematische Logik und für Grundlagen der Exakten Wissenschaften (DVMLG). Award: Silver Medal of the Kurt Gödel Research Prize Fellowship 2008.

Here is a list of conferences and other meetings that I am involved in: CiE 2013, Computability in Europe: The Nature of Computation, Milan, Italy, 2013 (Programme Committee Co-Chair) CCR 2012, Seventh International Conference on Computability, Complexity and Randomness, Cambridge, UK, 2-6 July 2012 (Invited Speaker) CCA 2012, Ninth International Conference on Computability and Complexity in Analysis, Cambridge, UK, 24-27 June 2012 Turing Centenary Conference CiE 2012, How the World Computes, Cambridge, UK, 18-23 June 2012 The Incomputable, Workshop at the Kavli Royal Society International Centre, Chicheley Hall, Cambridge, UK, 12-15 June 2012 CCC 2012, Continuity, Computability, Constructivity: From Logic to Algorithms, Trier, Germany, 29 May - 2 June 2012 (Programme Committee Member) Oberwolfach Workshop, Computability Theory, Oberwolfach, Germany, 5-11 February 2012 (Invited Participant) Semantics and Syntax: A Legacy of Alan Turing, Programme of the Isaac Newton Institute, Cambridge, UK, 9 January - 6 July 2012 (Visiting Fellow) Dagstuhl Seminar, Computing with Infinite Data: Topological and Logical Foundations, Dagstuhl, Germany, 11-14 October 2011 (Co-Organiser) ICTAC 2011, International Colloquium on Theoretical Advances in Computing 2011, Johannesburg, South Africa, 31 August - 2 September 2011 (Programme Committee Member) CiE 2011, Computability in Europe: Models of Computation in Context, Sofia, Bulgaria, 27 June - 2 July 2011 (Invited Speaker) LATA 2011, 5th International Conference on Language and Automata Theory and Applications, Tarragona, Spain , 30 May - 3 June 2011 (Programme Committee Member) CCA 2011, Eighth International Conference on Computability and Complexity in Analysis, Cape Town, South Africa, 31 January - 4 February 2011 (Local Organiser and Steering Committee Chair) CCR 2011, Sixth International Conference on Computability, Complexity and Randomness, Cape Town, South Africa, 31 January - 4 February 2011 (Programme Committee Co-Chair, Local Organiser) WoLLIC 2010, 17th Workshop on Logic, Language, Information and Computation, Brasília, Brazil, 6-9 July 2010 (Programme Committee Member) CiE 2010, Computability in Europe: Programs, Proofs, Processes, Ponta Delgada (Azores), Portugal, 30 June - 4 July 2010 CCA 2010, Seventh International Conference on Computability and Complexity in Analysis, Zhenjiang, China, 21-25 June 2010 (Programme Committee Member and Steering Committee Chair) LCR 2010, 5th Conference on Logic, Computability and Randomness, Notre Dame, USA, 24-28 May 2010 (Invited Speaker) WCALM 2010, Workshop on Constructive Aspects of Logic and Mathematics, Kanazawa, Japan, 8-12 March 2010 (Invited Speaker) CCA 2009, Sixth International Conference on Computability and Complexity in Analysis, Ljubljana, Slovenia, 18-22 August 2009 (Programme Committee Member and Steering Committee Chair) List of all conferences