Rate My Professor Daniel Reidenbach

Professor Daniel Reidenbach serves as Professor of Theoretical Computer Science and Head of the School of Computer Science and Mathematics within the Faculty of Natural Sciences at Keele University, a position he assumed in 2022. He obtained his degree in Computer Science with minors in Mathematics from the University of Kaiserslautern in Germany in 2003, followed by a PhD in 2006 supervised by Rolf Wiehagen. Before joining Keele, Reidenbach was at Loughborough University, where he began as a Lecturer in the Department of Computer Science in 2007, was promoted to Senior Lecturer in 2012, and acted as Head of Department from 2018 to 2022. At Keele, he has contributed to academic governance, including as a member of the University Senate, and coordinates modules such as CSC-20047.

Reidenbach's research focuses on Formal Language Theory, Combinatorics on Words, and Algorithmic Learning Theory, particularly combinatorial and algorithmic problems for patterns in sequences of symbols. His contributions have resolved longstanding open problems in Algorithmic Learning Theory and Formal Language Theory, earning several international academic prizes. He has authored numerous publications in leading journals, including 'The Billaud Conjecture for alphabet size 4' (Information and Computation, 2025, with S. Łopaciuk), 'On Billaud words and their companions' (Theoretical Computer Science, 2023), 'Unambiguous injective morphisms in free groups' (Information and Computation, 2022, with J.D. Day), 'The Billaud Conjecture for |Σ| = 4, and Beyond' (DLT, 2022), and 'Irreducibility of Semigroup Morphisms' (2026). Other notable works encompass his book 'The Ambiguity of Morphisms in Free Monoids and its Impact on Algorithmic Properties of Pattern Languages,' studies on Parikh matrices, E-pattern languages, and automata theory. Reidenbach is a member of the Steering Committee for the WORDS conference series, serving as contact person, and co-organized the British Colloquium for Theoretical Computer Science (BCTCS 30) in 2014. His work has advanced algorithmic properties in pattern languages and discrete mathematics, influencing the field through rigorous theoretical developments and collaborations with researchers like Paul Bell and Gwenaël Richomme.