Vasco Brattka Associate Professor - Head of the 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 Borel Complexity Algorithmic Randomness Computability Theory Computational Complexity Effective Descriptive Set Theory Neural Networks Quantum Computing Network on Computability & Complexity in Analysis Talk presented at CiE 2005, Amsterdam and CCA 2006, Florida: Tutorial: Computability & Complexity in Analysis

Visit of the AIMS students to UCT November 2007.

Some recent publications: 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 Papers in arXiv

chair of the Steering Committee of the annual international conference series Computability and Complexity in Analysis, member of the Publications Committee of the Association Computability in Europe, member of the Editorial Board of the Journal of Universal Computer Science, member of the Program Committee of the international conference Computability in Europe: Mathematical Theory and Computational Practice, CiE 2009, Heidelberg, Germany, member of the Steering Committee of the bi-annual international conference series Real Numbers and Computers, see RNC 2006, Nancy, France, RNC 2004, Dagstuhl, Germany, RNC 2003, Lyon, France, RNC 2000, Dagstuhl, Germany, RNC'98, Paris, France and RNC'96, Marseille, France, member of the steering committee since 2004, co-organizer of the conference Infinity in Logic and Computation 2007, Cape Town, South Africa, November 3-5, 2007, co-organizer of the special session Real Computation at the conference Computability in Europe CiE 2007, Computation and Logic in the Real World, Siena, Italy, June 18-23, 2007, co-organizer of Dagstuhl Seminar 01461 on Computability and Complexity in Analysis, Dagstuhl, Germany, 2001, member of the Program Committee of the conference SOFSEM 2000, 27th Annual Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, member of the European Association of Theoretical Computer Science, former member of the Executive Team of The African Institute for Mathematical Sciences (AIMS) in Cape Town, South Africa (2005-2009).

Fifth International Conference on Computability and Complexity in Analysis CCA 2008, Hagen, Germany, August 21-24, 2008, Summer Conference on Topology and its Applications 2008, Mexico City, Mexico, July 29-August 1, 2008, Dagstuhl Seminar Topological and Game-Theoretic Aspects of Infinite Computations, Dagstuhl, Germany, 29 June - 4 July, 2008, Infinity in Logic and Computation 2007, Cape Town, South Africa, November 3-5, 2007, Logic Colloquium 2007, Wrocław, Poland, July 14-19, 2007, Fourth International Conference on Computability and Complexity in Analysis CCA 2007, Siena, Italy, June 16-18, 2007, Computability in Europe CiE 2007, Computation and Logic in the Real World, Siena, Italy, June 18-23, 2007, Third International Conference on Computability and Complexity in Analysis CCA 2006, Gainesville, Florida, USA, November 1-5, 2006, 7th Conference on Real Numbers and Computers, LORIA, Nancy, France, July 10-12, 2006, Seminar Reliable Implementation of Real Number Algorithms: Theory and Practice, Dagstuhl, Germany, January 8-13, 2006, Second International Conference on Computability and Complexity in Analysis CCA 2005, Kyoto, Japan, August 25-29, 2005, 14th Conference on Computer Science Logic CSL 2005, Oxford, UK, August 22-25, 2005, Logic Colloquium 2005, Athens, Greece, July 28 – August 3, 2005, International Workshop on Computations on the Continuum, Lisbon, Portugal, June 27-28, 2005, Computability in Europe 2005: New Computational Paradigms, Amsterdam, The Netherlands, June 8-12, 2005, Minisymposion on Constructivity in Analysis and Topology, Rostock, Germany, September 18, 2003, Workshop on Computability and Logic, Heidelberg, Germany, June 23-27, 2003, From Sets and Types to Topology and Analysis, San Servolo, Venice, Italy, May 12-16, 2003, STACS 2003, 20th International Symposium on Theoretical Aspects of Computer Science, Berlin, Germany, February 27 - March 1, 2003,