Visiting professor at the University of Passau, on leave from the Bundeswehr University Munich. Institut 1, Fakultät für Informatik WernerHeisenbergWeg 39 85579 Neubiberg, Germany


Journals 


Book chapters 

R. Hölzl, D. Raghavan, F. Stephan, Zhang J.
Weakly Represented Families in Reverse Mathematics 

Computability and Complexity, Lecture Notes in Computer Science, January 2017  
V. Brattka, G. Gherardi, R. Hölzl, A. Pauly
The Vitali Covering Theorem in the Weihrauch Lattice 

Computability and Complexity, Lecture Notes in Computer Science, January 2017  

Peer‑reviewed conferences 

R. Hölzl, S. Jain, P. Schlicht, K. Seidel, F. Stephan
Automatic Learning from Repetitive Texts 

Algorithmic Learning Theory, October 2017  
V. Brattka, R. Hölzl, R. Kuyper
Monte Carlo Computability 

Symposium on Theoretical Aspects of Computer Science, March 2017  
V. Brattka, G. Gherardi, R. Hölzl
Las Vegas Computability and Algorithmic Randomness 

Symposium on Theoretical Aspects of Computer Science, March 2015  
R. Hölzl, W. Merkle
Traceable sets 

Theoretical Computer Science, September 2010  
R. Hölzl, W. Merkle
Generation complexity versus distinction complexity 

Theory and Applications of Models of Computation, April 2008  

Submitted 

R. Hölzl, C. P. Porter
Rank and randomness 

Submitted July 2017  

Selected talks 


Selected teaching material 

R. Hölzl
Quantencomputer 

Short lecture on quantum computing in German, December 2016  

Other 

R. Hölzl
Kolmogorov complexity 

Doctoral dissertation, December 2010  
R. Hölzl
Maß in Polynomialzeit 

Diploma thesis in German, October 2006 
Member of the programme committees of Computability and Complexity in Analysis 2018 and of Computability, Complexity and Randomness 2015 and 2017.
Several IT and programming jobs.
Fluent in German, English, French.
Hobbies include photography, mountaineering, and scuba diving.