Dietrich Kuske

Dozent für Theoretische Informatik (Associate professor for theoretical computer science)

Contents

Research interests
Curriculum vitae
further pages
Publications
Teaching
 programme committee memberships
SOFSEM 2010 (Spindleruv Mlyn)
FSTTCS 2009 (Kanpur)
QUANTLOG 2009 (Rhodes)
DLT 2009 (Stuttgart)
CSR 2009 (Novosibirsk)
and ...
editorial work
Special issue on "Algorithmic model theory", Central European Journal of Mathematics , 2010.

workshop organization
AutoMathA-seminar "Automata in Algorithmic Logic" (Stuttgart) 2009
and ...

invited speaker at
Weighted Automata: Theory and Applications 2010 (Leipzig)
and ...

Research interests

  • Description of the behavior of concurrent systems. Research in this field involves the theory of concurrent and asynchronous celluar automata, Mazurkiewicz trace theory, logic, and order theory.
  • Automatic structures. These are relational structures that are defined by finite automata. Examples are automatic groups (Epstein et al.) and (term and word) rewriting graphs. My research concentrates on criteria to decide whether a structure is automatic, on decision problems for automatic structures, and on relations between automatic presentations.
  • Weighted automata. My present aim is to extend the existing theory into two directions: concurrent automata and nonterminating behaviors.
  • Homogeneous structures. In this field, relational structures of foundational interest are investigated. Research focuses on their symmetries as well as on effective methods to present these infinite structures.

    • Curriculum vitae

    9.-11.10.2008
    Organization of the AutoMathA-seminar "Developments and New Tracks in Trace Theory" (with St. Crespi-Reghizzi and A. Muscholl)
    28.10.-2.11.2007
    Organization of the Dagstuhl-seminar "Algorithmic-logical theory of infinite structures" (with R. Downey, B. Khoussainov, M. Lohrey, M. Vardi)
    October 2006 until March 2007
    Vertretungsprofessur (temporary professorship) Martin-Luther-Universität Halle-Wittenberg
    since October 2004
    Dozent at the Institut für Informatik of the Universität Leipzig
    April until September 2004
    Vertretungsprofessur (temporary professorship) Technische Universität Dresden
    April 2004
    Visiting Professor, Laboratoire d'Informatique Algorithmique, Fondements et Applications, Paris, France
    October 2003 until March 2004
    Vertretungsprofessur (temporary professorship) Martin-Luther-Universität Halle-Wittenberg
    October 2002 - September 2004
    Dozent at the Fachrichtung Mathematik of the Technische Universität Dresden
    June 2002
    Visiting Professor, Centre de Mathematiques et Informatique, Marseille, France
    21 Dec. 2000
    Habilitation at the TU Dresden on
    "Contributions to a Trace Theory beyond Mazurkiewicz Traces"
    Oct. 2000 until Sep. 2002
    Lecturer at the Department of Mathematics and Computer Science of the University of Leicester
    1999/2000
    Assistent at the Institut für Algebra, TU Dresden
    May 27/28, 1999
    Organization of the Workshop "Logik in der Informatik" (with H. Vogler)
    Nov. 3-5, 1997
    Organization of the Workshop "Traces and Logic" (with M. Droste)
    Sept. 18-20, 1996
    Organization of the Workshop "Perspektiven der Automaten und formalen Sprachen" and of the "Theorietag der GI-Fachgruppe" (with M. Droste)
    Oct. 1995
    Van Vleek Visiting Assistent Professor, Wesleyan University, Middletown, Conneticut
    1994 - 1999
    Institut für Algebra, TU Dresden
    supported by the German Research Foundation (DFG) in the project "Nebenläufige Automaten", headed by Manfred Droste
    Jan. 13, 1994
    Ph.D. (supervisor Manfred Droste) on
    "Modelle nebenläufiger Prozesse - Monoide, Residuensysteme und Automaten"
    1991-March 1994
    Ph.D.-student in the Graduiertenkolleg Mathematik at the University of Essen and teaching assistent
    1986-1991
    student of mathematics at the TU Dresden
    final grade: Diplom-Mathematiker
    1984-1986
    eighteen lost months as "Bausoldat", i.e., compulsory semi-military service
    1984
    Abitur
    1965
    born