Scholar
Vasco Brattka
Google Scholar ID: BlPeOrIAAAAJ
Professor for Theoretical Computer Science and Mathematical Logic, Universität der Bundeswehr
Computable analysis
mathematical logic
computability
descriptive set theory
algorithmic randomness
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,169
H-index
19
i10-index
32
Publications
20
Co-authors
8
list available
Contact
No contact links provided.
Publications
4 items
Computability of the Hahn-Banach Theorem Revisited
2026
Cited
0
Uniform Computability of PAC Learning
2026
Cited
0
Effective bases and notions of effective second countability in computable analysis
2025
Cited
0
Computability of Initial Value Problems
2024
Cited
0
Resume (English only)
Academic Achievements
Shoenfield Prize of the Association for Symbolic Logic (2022)
Silver Medal of the Kurt Gödel Research Prize Fellowship (2008)
Editor-in-Chief of Computability - The Journal of the Association CiE
Chair of the Steering Committee of the CCA (Computability and Complexity in Analysis) conference series
Member of the Editorial Board of Springer's book series Theory and Applications of Computability
Member of the Editorial Board of the Journal of Universal Computer Science
Member of the Committee on Logic in Europe of the Association for Symbolic Logic (ASL)
Co-Organizer of the online seminar on Computability Theory and Applications
Member of the Advisory Committee for Transformation and Strategy of the South African Mathematical Society (SAMS)
Recent publications include: 'The Discontinuity Problem' (Journal of Symbolic Logic, 2023), 'Stashing-Parallelization Pentagons' (Logical Methods in Computer Science, 2021), and multiple chapters in Springer LNCS volumes
Co-authors
8 total
Arno Pauly
Swansea University
Co-author 2
Co-author 3
Co-author 4
Stéphane Le Roux
LSV, école normale supérieure de Paris-Saclay
Jeremy Avigad
Professor of Philosophy and Mathematical Sciences, Carnegie Mellon University
Co-author 7
Co-author 8