Publications and talks


   Journals   
R. Hölzl, S. Jain, F. Stephan
Inductive Inference and Reverse Mathematics
Journal version: Annals of Pure and Applied Logic, appeared online June 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
Rod Downey Festschrift, Lecture Notes in Computer Science, accepted with minor revisions July 2016
V. Brattka, G. Gherardi, R. Hölzl, A. Pauly
The Vitali Covering Theorem in the Weihrauch Lattice
Rod Downey Festschrift, Lecture Notes in Computer Science, accepted July 2016

   Peer‑reviewed conferences   
R. Hölzl, S. Jain, F. Stephan
Learning Pattern Languages Over Groups
Algorithmic Learning Theory, accepted June 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

   Submitted   
R. Hölzl, C. P. Porter
Randomness for computable measures and initial segment complexity
Journal version: Submitted, October 2015

   Selected talks   
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 Universität der Bundeswehr 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 Universität der Bundeswehr 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 Darmstadt, October 2013
Invited seminar talk at the Loria, Nancy, December 2012
R. Hölzl
Denjoy, Demuth and Density
Seminar talk at the Universität der Bundeswehr Munich, March 2013
Contributed talk at the Symposium on Theoretical Aspects of Computer Science, Paris, March 2012
Special session talk at the 12th Asian Logic Conference, Wellington, December 2011

   Other   
R. Hölzl
Kolmogorov complexity
Doctoral dissertation, December 2010
R. Hölzl
Maß in Polynomialzeit
Diploma thesis, October 2006

CV

2015+Wissenschaftlicher Mitarbeiter at the Institute for Theoretical Computer Science, Mathematics and Operations Research of the Universität der Bundeswehr Munich.
2015Participant of the Focus Semester Computability and Randomness at the University of Heidelberg.
2014-5Research Fellow at the Department of Mathematics of the National University of Singapore.
2013Postdoctoral researcher at the Institute for Theoretical Computer Science, Mathematics and Operations Research of the Universität der Bundeswehr Munich, funded by a Feodor Lynen Return Fellowship by the Alexander von Humboldt Foundation.
2011-2Postdoctoral researcher at the Laboratoire d'Informatique Algorithmique: Fondements et Applications, funded by a Feodor Lynen Research Fellowship by the Alexander von Humboldt Foundation.
2010Dissertation in mathematics at the University of Heidelberg.
2007-10Doctoral student with Priv.-Doz. Dr. Wolfgang Merkle at the University of Heidelberg, funded by the German Research Foundation.
2007Diplom in mathematics at the University of Heidelberg.
2001-7Scholarship by the German National Academic Foundation.
2004-5Sojourn at the École Normale Supérieure, rue d'Ulm, in Paris.
2003Vordiplom in physics at the University of Heidelberg.
1983Born in Munich.

Teaching assistantships in Computability and Complexity Theory, Randomized Algorithms, Mathematics for Biologists.

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, snowshoeing and scuba diving.

Photography



Place mouse cursor over images and cycle mouse wheel to scroll.

Alternatively, click on the images once, then use the cursor keys.