Dr. habil. Rupert Maximilian Hölzl

Profil

Derzeitige Stellung	Professor W-1 und Äquivalente
Fachgebiet	Theoretische Informatik,Grundlagen der Mathematik, Logik, Mengenlehre
Keywords	Algorithmic randomness, Computable analysis, Weihrauch degrees, Computability theory, Reverse mathematics
Auszeichnungen	2019: Honorary Research Fellow at the University of Birmingham

Aktuelle Kontaktadresse

Land	Deutschland
Ort	Neubiberg
Universität/Institution	Universität der Bundeswehr München
Institut/Abteilung	Fakultät für Informatik
Website	http://hoelzl.fr

Gastgeber*innen während der Förderung

Dr. Laurent Bienvenu	LIAFA, Universite Paris Cite, Paris Cedex 13
Beginn der ersten Förderung	01.01.2011

Programm(e)

2010	Feodor Lynen-Forschungsstipendien-Programm für Postdocs

Publikationen (Auswahl)

2013	G. Barmpalias, R. Hölzl, A. E. M. Lewis, W. Merkle Analogues of Chaitin's Omega in the computably enumerable sets. In: Information Processing Letters, 2013, 171-178
2013	Rupert Hölzl, Thorsten Kräling, Wolfgang Merkle Time-Bounded Kolmogorov Complexity and Solovay Functions. In: Theory of Computing Systems, 2013, 80-94
2012	Laurent Bienvenu, Rupert Hölzl, Joseph S. Miller, André Nies: The Denjoy alternative for computable functions. In: Christoph Dürr, Thomas Wilke, Proceedings of the 29th Symposium on Theoretical Aspects of Computer Science, Leibniz International Proceedings in Informatics 14. Leibniz-Zentrum für Informatik, 2012. 543-554