Journals |

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, C. P. Porter, P. Shafer
Randomness and semi-measures | ||

Notre Dame Journal of Formal Logic, accepted September 2014 | ||

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 Bi-immunity 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
Time-bounded 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 non-monotonic 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 |

V. Brattka, R. Hölzl, R. Kuyper
Monte Carlo Computability | ||

Symposium on Theoretical Aspects of Computer Science, March 2017 | ||

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

Journal version: Submitted November 2016 | ||

Conference version: Algorithmic Learning Theory, October 2016 | ||

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 | ||

Selected talks |

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 semi-measures | ||

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 2016 | ||

Other |

R. Hölzl
Kolmogorov complexity | ||

Doctoral dissertation, December 2010 | ||

R. Hölzl
Maß in Polynomialzeit | ||

Diploma thesis, October 2006 |

2015 | + | Wissenschaftlicher Mitarbeiter at the Institute for Theoretical Computer Science, Mathematics and Operations Research of the Bundeswehr University Munich. | ||

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, Complexity and Randomness 2015 and 2017.

Member of the organizing committee for Computability in Europe 2009.

Several IT and programming jobs.

Fluent in German, English, French.

Hobbies include photography, mountaineering, and scuba diving.On touch-enabled devices, swipe the photos horizontally.