|
|
Recently submitted |
|
|
R. Hölzl, S. Kleine, F. Stephan
Improved lower bounds for strong n-conjectures |
||
|
September 2024 | |
|
D. Belanger, C.T. Chong, R. Hölzl, F. Stephan
Independence and Induction in Reverse Mathematics |
||
|
|
August 2024 | |
|
R. Hölzl, Ng K. M.
The computational content of multidimensional discontinuity |
||
|
|
May 2024 | |
|
R. Hölzl, P. Janicki
Benign approximations and non-speedability |
||
|
|
August 2023 | |
|
J. Franklin, R. Hölzl, A. Melnikov, Ng K. M., D. Turetsky
Computable classifications of continuous, transducer, and regular functions |
||
|
|
October 2022 | |
|
|
Journals |
|
|
P. Hertling, R. Hölzl, P. Janicki
Regainingly approximable numbers and sets |
||
|
|
Journal of Symbolic Logic, January 2024 | |
|
R. Hölzl, C. P. Porter
Degrees of randomized computability |
||
|
|
Bulletin of Symbolic Logic, March 2022 | |
|
R. Hölzl, W. Merkle, J. S. Miller, F. Stephan, Yu L.
Chaitin’s Ω as a Continuous Function |
||
|
|
Journal of Symbolic Logic, March 2020 | |
|
R. Hölzl, C. P. Porter
Rank and randomness |
||
|
|
Journal of Symbolic Logic, December 2019 | |
|
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 semi-measures |
||
|
|
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 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 |
|
|
R. Hölzl, P. Janicki, W. Merkle, F. Stephan
Randomness versus superspeedability |
||
|
|
Mathematical Foundations of Computer Science, August 2024 | |
|
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 | |
|
|
Selected talks |
|
| Randomness versus superspeedability | ||
|
|
Contributed talk at Mathematical Foundations of Computer Science, Bratislava, August 2024 |
|
| Benign approximations, superspeedability, and randomness | ||
|
|
Invited talk at the Leeds Computability Days, July 2024 |
|
| Benign approximations and non-speedability | ||
|
|
Invited seminar talk at the National University of Singapore, March 2024 Invited talk at the Centre International de Rencontres Mathématiques, Luminy, February 2024 |
|
| Randomness for computable measures, and complexity | ||
|
|
Invited seminar talk at the National University of Singapore, December 2019 Special session talk at the Logic Colloquium, Leeds, August 2016 |
|
|
|
Contributed talk at Computability, Complexity & Randomness, Honolulu, January 2016 | |
| 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 |
|
| 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 |
|
| Monte Carlo Computability | ||
|
|
Invited talk at the Dagstuhl Workshop on Computability Theory, February 2017 | |
| 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 | |
| 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 |
|
| 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 |
|
| Randomness in the Weihrauch degrees | ||
|
|
Special session talk at the Logic Colloquium, Vienna, July 2014 | |
| Randomness for semi-measures | ||
|
|
Invited talk at Analysis, Randomness and Applications, Nancy, June 2013 | |
| 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 |
|
| 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 |
|
| Ausgewählte Kapitel der Komplexitätstheorie | ||
|
|
Lecture on selected topics from advanced complexity theory in German, January 2024 | |
| Quantencomputer | ||
|
|
Short lecture on quantum computing in German, December 2024 | |
|
|
Other |
|
| Article reviews | ||
|
MathSciNet Mathematical Reviews | |
|
|
Zentralblatt MATH | |
| Kolmogorov complexity | ||
|
|
Doctoral dissertation, December 2010 | |
| 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. | |
| 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 Studienstiftung des deutschen Volkes. | |
| 2004 | - | 5 | Study abroad at the École Normale Supérieure in Paris. | |
| 2003 | Vordiplom in physics at the University of Heidelberg. | |||
| 1983 | Born in Munich. | |||
Fluent in German, English, French.
Hobbies include photography, mountaineering, cycling, and scuba diving.