
Journals 

R. Hölzl, S. Jain, F. Stephan
Learning Pattern Languages Over Groups 

Journal version: Theoretical Computer Science, September 2018  
Conference version: Algorithmic Learning Theory, October 2016  
L. Bienvenu, R. Hölzl, C. P. Porter, P. Shafer
Randomness and semimeasures 

Notre Dame Journal of Formal Logic, June 2017  
R. Hölzl, C. P. Porter
Randomness for computable measures and initial segment complexity 

Annals of Pure and Applied Logic, April 2017  
R. Hölzl, S. Jain, F. Stephan
Inductive Inference and Reverse Mathematics 

Journal version: Annals of Pure and Applied Logic, December 2016  
Conference version: Symposium on Theoretical Aspects of Computer Science, March 2015  
R. Hölzl, F. Stephan, Yu L.
On Martin's Pointed Tree Theorem 

Computability, May 2016  
R. Hölzl, P. Shafer
Universality, optimality, and randomness deficiency 

Annals of Pure and Applied Logic, October 2015  
V. Brattka, G. Gherardi, R. Hölzl
Probabilistic Computability and Choice 

Information and Computation, June 2015  
L. Bienvenu, R. Hölzl, J. S. Miller, A. Nies
Denjoy, Demuth and Density 

Journal version: Journal of Mathematical Logic, June 2014  
Conference version: Symposium on Theoretical Aspects of Computer Science, March 2012  
R. Hölzl, T. Kräling, F. Stephan, Wu G.
Initial Segment Complexities of Randomness Notions 

Journal version: Information and Computation, February 2014  
Conference version: Theoretical Computer Science, September 2010  
L. Bienvenu, A. D. Day, R. Hölzl
From Biimmunity to Absolute Undecidability 

Journal of Symbolic Logic, December 2013  
G. Barmpalias, R. Hölzl, A. E. M. Lewis, W. Merkle
Analogues of Chaitin's Omega in the computably enumerable sets 

Information Processing Letters, January 2013  
R. Hölzl, T. Kräling, W. Merkle
Timebounded Kolmogorov complexity and Solovay functions 

Journal version: Theory of Computing Systems, January 2013  
Conference version: Mathematical Foundations of Computer Science, August 2009  
L. Bienvenu, R. Hölzl, T. Kräling, W. Merkle
Separations of nonmonotonic randomness notions 

Journal version: Journal of Logic and Computation, September 2010  
Conference version: Computability and Complexity in Analysis, August 2009  

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 

R. Hölzl
Rank and randomness 

Habilitation defense at the Bundeswehr University Munich, January 2019 Invited talk at Aspects of Computation, Singapore, August 2017 Invited talk at Computability and Reducibility, Hiddensee, August 2017 

R. Hölzl
Degrees of randomized computability 

Invited seminar talk at the National University of Singapore, September 2018 Invited talk at Computability and Complexity in Analysis, Kochel, August 2018 

R. Hölzl
Monte Carlo Computability 

Invited talk at the Dagstuhl Workshop on Computability Theory, February 2017  
R. Hölzl
Randomness for computable measures, and complexity 

Special session talk at the Logic Colloquium, Leeds, August 2016  
Contributed talk at Computability, Complexity & Randomness, Honolulu, January 2016  
R. Hölzl
Vitali Covering in the Weihrauch degrees 

Invited seminar talk at the University of Florida, October 2015  
Invited talk at Computability, Complexity & Randomness, Heidelberg, June 2015  
R. Hölzl
Universality, optimality, and randomness deficiency 

Invited seminar talk at the Bundeswehr University Munich, March 2015 Invited seminar talk at the University of Heidelberg, December 2014 

R. Hölzl
The reverse mathematics of inductive inference 

Invited seminar talk at the Universiteit Gent, August 2014 Invited seminar talk at the Bundeswehr University Munich, August 2014 

R. Hölzl
Randomness in the Weihrauch degrees 

Special session talk at the Logic Colloquium, Vienna, July 2014  
R. Hölzl
Randomness for semimeasures 

Invited talk at Analysis, Randomness and Applications, Nancy, June 2013  
R. Hölzl
Absolutely undecidable sets 

Invited seminar talk at the University of Greifswald, November 2016 Invited seminar talk at the University of Darmstadt, October 2013 Invited seminar talk at the Loria, Nancy, December 2012 

R. Hölzl
Denjoy, Demuth and Density 

Seminar talk at the Bundeswehr University Munich, March 2013  
Special session talk at the 12th Asian Logic Conference, Wellington, December 2011  

Selected teaching material 

R. Hölzl
Quantencomputer 

Short lecture on quantum computing in German, December 2018  

Other 

R. Hölzl
Kolmogorov complexity 

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

Diploma thesis in German, October 2006 
2015  +  Wissenschaftlicher Mitarbeiter (E14) at the Institute for Theoretical Computer Science, Mathematics and Operations Research of the Bundeswehr University Munich.  
2019  Habilitation in theoretical computer science and mathematical logic at the Bundeswehr University Munich.  
2017    8  Visiting full professor (Vertretungsprofessur W3) at the University of Passau during the winter semester.  
2015  Participant of the Focus Semester Computability and Randomness at the University of Heidelberg.  
2014    5  Research Fellow at the Department of Mathematics of the National University of Singapore.  
2013  Postdoctoral researcher at the Institute for Theoretical Computer Science, Mathematics and Operations Research of the Bundeswehr University Munich, funded by a Feodor Lynen Return Fellowship by the Alexander von Humboldt Foundation.  
2011    2  Postdoctoral researcher at the Laboratoire d'Informatique Algorithmique: Fondements et Applications, funded by a Feodor Lynen Research Fellowship by the Alexander von Humboldt Foundation.  
2010  Dissertation in mathematics at the University of Heidelberg.  
2007    10  Doctoral student with Priv.Doz. Dr. Wolfgang Merkle at the University of Heidelberg, funded by the German Research Foundation.  
2007  Diplom in mathematics at the University of Heidelberg.  
2001    7  Scholarship by the German Academic Scholarship Foundation.  
2004    5  Sojourn at the École Normale Supérieure, rue d'Ulm, in Paris.  
2003  Vordiplom in physics at the University of Heidelberg.  
1983  Born in Munich. 
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.