Dr Daniel Reidenbach
Department of Computer Science
Office: Room N.3.08 (Haslegrave Building, 3rd floor)
Phone: +44/(0)1509/22-2939, Fax: +44/(0)1509/21-1586
A list of publications, downloads and further information are available here.
Bad news on decision problems for patterns (with Dominik D. Freydenberger).
Information and Computation 208, pages 83-96. 2010.
Discontinuities in pattern inference.
Theoretical Computer Science 397, pages 166-193. 2008.
Unambiguous Morphic Images of Strings (with Dominik D. Freydenberger, Johannes C. Schneider).
International Journal of Foundations of Computer Science 17, pages 601-628. 2006.
Selected Professional Activities:
Editorial board member of Discrete Mathematics & Theoretical Computer Science
Co-organiser of the 30th British Colloquium for Theoretical Computer Science, BCTCS 2014
Programme committee member for CIAA 2017, DLT 2016, CIAA 2016, LATA 2016, DLT 2015, CIAA 2015, DCFS 2015, NCMA 2014, CIAA 2014, NCMA 2013, CIAA 2013, 'Foundations' track of SOFSEM 2012, AITC 2010, NCMA 2010, LATA 2010, COLT 2005
Referee for SOFSEM 2014, ALT 2011, ISCIS 2011, ALC 2009, NCMA 2009, DLT 2009, STACS 2009, ALT 2006, ALT 2004, STACS 2004
Referee for Fundamenta Informaticae, Information and Computation, Information Processing Letters, International Journal of Foundations of Computer Science, Journal of Computer and System Sciences, Kybernetika, Machine Learning, RAIRO - Theoretical Informatics and Applications, The Computer Journal, Theoretical Computer Science
Membership in Learned Societies:
Current PhD students:
Former PhD students:
External PhD Advisor/Examiner:
Theses supervised at the University of Kaiserslautern, Germany
COB106/COC106 "Formal Languages and Theory of Computation"
COA124/COP452 "Computer Systems"
COC251 and COP325, project supervision
Last update: 18 October 2016