long-term posts Stelle		visiting posts and other activities temporäre Stellen und andere Aktivitäten
since Dec. 10 seit Dez. 10	Professor for Automata and Logic at the Technische Universität Ilmenau Professor für Automaten und Logik an der Technischen Universität Ilmenau	2025	programme committee of STACS (Jena) and FSTTCS (BITS Pilani) Programmkomittee: STACS (Jena) und FSTTCS (BITS Pilani)
		2023	programme committee of Reachability Problems (Nice) Programmkomittee: Reachability Problems (Nizza)
		2022	PhD student: Dr. Chris Köcher Promotionsstudent: Dr. Chris Köcher programme committee of Highlights (Paris) and Reachability Problems (Kaiserslautern) Programmkomittee: Highlights (Paris) und Reachability Problems (Kaiserslautern) dean of studies (renewal until 2025) Studiendekan (Verlängerung bis 2025)
		2021	programme committee of FCT (Athens) Programmkomittee: FCT (Athen)
		2020	programme committee of CSL (Barcelona) Programmkomittee: CSL (Barcelona)
		2019	invited talk: Asian Logic Colloquium (Astana) programme committee of CiE (Durham), STACS (Berlin), and Highlights (Warsaw) departmental teaching award for “Automata, Languages, and Complexity” eingeladener Vortrag: Asian Logic Colloquium (Astana) Programmkomittee: CiE (Durham), STACS (Berlin) und Highlights (Warschau) Fakultätsauszeichnung für „Automaten, Sprachen und Komplexität” als beste Pflichtvorlesung im WS 18/19 dean of studies (renewal until 2022) Studiendekan (Verlängerung bis 2022)
		2018	programme committee of CL (Bayreuth) Programmkomittee: CL (Bayreuth)
		2017	dean of studies (until 2019) Studiendekan (bis 2019)
		2016	member of the directorate of the DVMLG (resigned 2020) programme committee of MFCS (Krakow) organisation of workshops in honour of Manfred Droste (Dresden) and of Martin Dietzfelbinger (Ilmenau) Mitglied des Vorstands der DVMLG (Rücktritt 2020) Programmkomittee: MFCS (Krakow) Organisation von Workshops zu Ehren von Manfred Droste (Dresden) and von Martin Dietzfelbinger (Ilmenau)
		2015	two PhD students: Dr. Martin Huschenbett and Dr. Roy Mennicke zwei Promotionsstudenten: Dr. Martin Huschenbett und Dr. Roy Mennicke
		2014	programme committee of FSTTCS (New Delhi) Programmkomittee: FSTTCS (New Delhi)
		2013	organisation of the Theorietag “Automata and Formal Languages” and workshop “Automata and Logic” (Ilmenau) member of the leading team of the special interest group “Logic in Computer Science” of the GI (until 2019) departmental teaching award for “Automata and Formal Languages” Organisation des Theorietags „Automaten und Formale Sprachen” und des Workshops „Automaten und Logik” (Ilmenau) Mitglied der Fachgruppenleitung der GI-Fachgruppe „Logik in der Informatik” (bis 2019) Fakultätsauszeichnung für „Automaten und Formale Sprachen” als beste Pflichtvorlesung im WS 12/13
		2012	programme committee of STACS (Paris) Programmkomittee: STACS (Paris) organisation of the annual meeting “Algorithmic Model Theory (AlMoTh)” (Ilmenau) teaching award of the TU Ilmenau (one out of ten) departmental teaching award for “Automata and Formal Languages” Organisation des jährlichen Treffens „Algorithmische Modelltheorie (AlMoTh)” (Ilmenau) Lehrpreis der TU Ilmenau (einer von zehn) Fakultätsauszeichnung für „Automaten und Formale Sprachen” als beste Pflichtvorlesung im WS 11/12
		2011	organisation of the annual meeting of the GI on “Logic in Computer Science” (Ilmenau) departmental teaching award for “Computability and complexity” (one out of six) invited talk: Dresden Mathematical Seminar (Dresden) Organisation des GI-Jahrestreffens „Logik in der Informatik” (Ilmenau) Fakultätsauszeichnung für „Berechenbarkeit und Komplexität” als beste Pflichtvorlesung im WS 10/11 eingeladener Vortrag: Dresdner Mathematisches Seminar (Dresden)
Oct. 09 - Nov. 10 Okt. 09 - Nov. 10	Directeur de Recherche of the Centre national de la recherche scientifique (CNRS) at Laboratoire Bordelais de Recherche en Informatique (LaBRI) in Bordeaux Directeur de Recherche des Centre national de la recherche scientifique (CNRS) am Laboratoire Bordelais de Recherche en Informatique (LaBRI) in Bordeaux	2010	programme committee of SOFSEM (Špindlerův Mlýn) invited speaker at GI-Jahrestreffen “Logic in Computer Science” (Leipzig), ESSLLI (Copenhagen), and Weighted Automata: Theory and Applications (Leipzig) Programmkomittee: SOFSEM (Špindlerův Mlýn) eingeladene Vorträge: GI-Jahrestreffen „Logik in der Informatik” (Leipzig), ESSLLI (Kopenhagen) und Weighted Automata: Theory and Applications (Leipzig)
Oct. 04 - Sep. 09 Okt. 04 - Sep. 09	Hochschuldozent at the Institut für Informatik of the Universität Leipzig Hochschuldozent am Institut für Informatik der Universität Leipzig	2009	programme committee of FSTTCS (Kanpur), QUANTLOG (Rhodes), DLT (Stuttgart), and CSR (Novosibirsk) organisation of the AutoMathA-seminar “Automata in Algorithmic Logic” (Stuttgart) invited speaker at Complexité et Modèles finis (Cachan), Arbeitstagung Allgemeine Algebra (Bern), and Conference on Algebraic Informatics (Thessaloniki) Programmkomittees: FSTTCS (Kanpur), QUANTLOG (Rhodes), DLT (Stuttgart) und CSR (Novosibirsk) Organisation des AutoMathA-Seminars „Automata in Algorithmic Logic” (Stuttgart) eingeladene Vorträge: Complexité et Modèles finis (Cachan), Arbeitstagung Allgemeine Algebra (Bern) und Conference on Algebraic Informatics (Thessaloniki)
		2008	programme committee of LATA (Tarragona) and organisation of the AutoMathA-seminar “Developments and New Tracks in Trace Theory” (Cremona, Italy) Programmkomittee: LATA (Tarragona) Organisation des AutoMathA-Seminars „Developments and New Tracks in Trace Theory” (Cremona, Italien)
		2007	organisation of the Dagstuhl-seminar “Algorithmic-logical theory of infinite structures” Organisation des Dagstuhl-Seminars „Algorithmic-logical theory of infinite structures”
		Oct. 06 - Mar. 07 Okt. 06 - Mar. 07	Vertretungsprofessur (temporary professorship) Martin-Luther-Universität Halle-Wittenberg Vertretungsprofessur Martin-Luther-Universität Halle-Wittenberg
		2005	programme committee of LPAR (Montevideo) and STACS (Stuttgart) Programmkomittees: LPAR (Montevideo) und STACS (Stuttgart)
Oct. 02 - Sep. 04 Okt. 02 - Sep. 04	Hochschuldozent at the Fachrichtung Mathematik of the Technische Universität Dresden Hochschuldozent an der Fachrichtung Mathematik der Technischen Universität Dresden	2004	programme committee of CONCUR (London) and FOSSACS (Barcelona) invited speaker at GI-Jahrestreffen “Logic in Computer Science” and “Deduction systems” (Saarbrücken) Programmkomittees: CONCUR (London) und FOSSACS (Barcelona) eingeladener Vortrag: GI-Jahrestreffen „Logik in der Informatik” und „Deduktionssysteme” (Saarbrücken)
		Apr. - Sep. 04	Vertretungsprofessur (temporary professorship) TU Dresden Vertretungsprofessur TU Dresden
		Apr. 04	Visiting Professor, Laboratoire d'Informatique Algorithmique, Fondements et Applications (LIAFA), Paris Professeur invité am Laboratoire d'Informatique Algorithmique, Fondements et Applications (LIAFA) in Paris
		Oct. 03 - Mar. 04 Okt. 03 - Mar. 04	Vertretungsprofessur (temporary professorship) Martin-Luther-Universität Halle-Wittenberg Vertretungsprofessur Martin-Luther-Universität Halle-Wittenberg
Oct. 00 - Sep. 02 Okt. 00 - Sep. 02	Lecturer at the Department of Mathematics and Computer Science of the University of Leicester Lecturer am Department of Mathematics and Computer Science der University of Leicester	June 02 Juni 02	Visiting Professor, Centre de Mathematiques et Informatique (CMI), Marseille Professeur invité am Centre de Mathematiques et Informatique (CMI) in Marseille
		2002	invited speaker at “The British Logic Colloquium” (Birmingham) eingeladener Vortrag: „The British Logic Colloquium” (Birmingham)
		Dec. 00 Dez. 00	Habilitation at the TU Dresden on “Contributions to a Trace Theory beyond Mazurkiewicz Traces” Habilitation an der TU Dresden mit der Schrift „Contributions to a Trace Theory beyond Mazurkiewicz Traces”
Oct. 99 - Sep. 00 Okt. 99 - Sep. 00	Assistent at the Institut für Algebra, TU Dresden Assistent am Institut für Algebra der TU Dresden
Apr. 94 - Sep. 99	Researcher at the Institut für Algebra, TU Dresden, supported by the German Research Foundation (DFG) in the project “Nebenläufige Automaten”, headed by ) wissenschaftlicher Mitarbeiter am Institut für Algebra der TU Dresden im Rahmen des DFG-Projekts „Nebenläufige Automaten” ()	1999	organisation of the workshop “Logik in der Informatik” (Dresden) Organisation des GI-Jahrestreffens „Logik in der Informatik” (Dresden)
		1997	organisation of the workshop “Traces and Logic” (Dresden) Organisation des Workshops „Traces and Logic” (Dresden)
		1996	organisation of the workshop “Perspektiven der Automaten und formalen Sprachen” and “Theorietag der GI-Fachgruppe Automaten und Formale Sprachen” (Cunnersdorf) Organisation des Workshops „Perspektiven der Automaten und formalen Sprachen” und des Theorietags der GI-Fachgruppe „Automaten und Formale Sprachen” (Cunnersdorf)
		Oct. 95 Okt. 95	Van Vleek Visiting Assistant Professor, Wesleyan University, Middletown, Conneticut
Sep. 91 - Mar. 94	Ph.D.-student in the Graduiertenkolleg Mathematik at the University of Essen and teaching assistent Promotionsstudent im Graduiertenkolleg Mathematik an der University of Essen	Jan. 94	Ph.D. (supervisor ) on “Modelle nebenläufiger Prozesse - Monoide, Residuensysteme und Automaten” Promotion (Doktorvater ) über „Modelle nebenläufiger Prozesse - Monoide, Residuensysteme und Automaten”
Sep. 86 - Aug. 91	student of mathematics at the TU Dresden final degree: Diplom-Mathematiker Studium der Mathematik an der TU Dresden Abschluß: Diplom-Mathematiker
Nov. 84 - Apr. 86	eighteen lost months as “Bausoldat”, i.e., compulsory military service (that I did in a semi-military way, a speciality of Eastern Germany at that time) achtzehn verlorene Monate als „Bausoldat”, d.h. unfreiwilliger Militärdienst (den ich als „Wehrdienstverweigerer” auf die einzige in der DDR legale Art absolvierte)
		Sep. 84	Abitur
		June 65 Juni 65	born Geburt