Daniel Reidenbach

Dr Daniel Reidenbach

Lecturer

Department of Computer Science
Loughborough University
Loughborough
Leicestershire
LE11 3TU
United Kingdom

Temporary office location during Haslegrave refurbishment: Room M.1.08 (Admin I Building, 1st floor)
Phone: +44/(0)1509/22-2939, Fax: +44/(0)1509/21-1586
Email: D.Reidenbach[at]lboro[dot]ac[dot]uk

Research Interests:

Algorithmic Learning Theory
Formal Languages (in particular: Pattern Languages)
Combinatorics on Words

Representative Publications:

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.

A list of publications, downloads and further information are available here.

Academic Awards:

Preis des Freundeskreises der Technischen Universität Kaiserslautern, 2007
Nomination for the GI-Dissertationspreis 2006
Best Student Paper Award, DLT 2004 (shared with Narad Rampersad)
M. Fulk Award: best student paper, COLT 2004
E.M. Gold Award: best student paper, ALT 2002

Selected Professional Activities:

Programme committee member for 'Foundations' track of SOFSEM 2012, AITC 2010, NCMA 2010, LATA 2010, COLT 2005
Referee for 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, RAIRO - Theoretical Informatics and Applications, The Computer Journal, Theoretical Computer Science

Membership in Learned Societies:

European Association for Theoretical Computer Science (EATCS)
Fachgruppe Automaten und Formale Sprachen of the Gesellschaft für Informatik (GI)

Research Supervision:

Current PhD students:

External PhD Advisor/Examiner:

Dr Dominik D. Freydenberger (2011)

Theses supervised at the University of Kaiserslautern, Germany

Current/recent Teaching:

COB106/COC106 "Formal Languages and Theory of Computation"
COA124/COP452 "Computer Systems"
COC251 and COP325, project supervision

Last update: February 17, 2012