-
- Prof. Dr.-Ing.
Franz Baader
- Professor of Automata Theory,
Institute of Theoretical Computer Science, Department of
Computer Science
e-mail: baader@tcs.inf.tu-dresden.de
PhD students:
-
- Prof. Dr. rer. nat. habil.
Manfred Droste
- Professor of Automata and Formal Languages
Department of Computer Science,
Faculty of Mathematics and Computer Science, Universität
Leipzig
e-mail: droste@informatik.uni-leipzig.de
-
- Prof. Dr. rer. nat. habil.
Bernhard Ganter
- Professor of Algebraic Structur Theory,
Institute of Algebra, Department of Mathematics and Natural
Sciences
e-mail: ganter@math.tu-dresden.de
-
- Prof. Dr. rer. nat. habil. Steffen Hölldobler
- Professor of
Knowledge Engineering,
Institute of Artificial Intelligence, Department of Computer
Science
e-mail: sh@inf.tu-dresden.de
PhD students:
-
- HDoz. Dr. rer. nat. habil.
Dietrich Kuske
- Associate professor for theoretical computer science,
Abteilung Automaten und Sprachen, Institut für
Informatik, Universität Leipzig
e-mail: kuske@informatik.uni-leipzig.de
PhD student:
-
- Prof. Dr. rer. nat. habil.
Reinhard Pöschel
- Professor of Universal Algebra,
Institute of Algebra, Department of Mathematics and Natural
Sciences
e-mail: poeschel@math.tu-dresden.de
-
- Prof. Dr. rer. nat. habil. Horst Reichel
-
Professor of Algebraic and Logic Foundations of Computer Science
,
Institute of Theoretical Computer Science, Department of Computer
Science
e-mail: reichel@tcs.inf.tu-dresden.de
-
- Prof. Dr. rer. nat. habil.
Michael Thielscher
- Professor of Computational Logic,
Institute of Artificial Intelligence, Department of Computer Science
e-mail: mit@inf.tu-dresden.de
PhD student:
- Dipl.-Inf. Jin Yi
e-mail: yijin@inf.tu-dresden.de
-
- Prof. Dr.-Ing. habil. Heiko Vogler (Chairman)
-
Professor of Foundations of Programming,
Institute of Theoretical Computer Science, Department of Computer
Science
e-mail: vogler@inf.tu-dresden.de
PhD student:
- Dipl.-Inf. Andreas Maletti
e-mail: maletti@tcs.inf.tu-dresden.de
Associated Members
- Dipl.-Inf. Enrico Bormann
e-mail: bormann@tcs.inf.tu-dresden.de
- Dipl.-Inf.
Sebastian Brandt
e-mail: brandt@tcs.inf.tu-dresden.de
- Dr. rer. nat. Léonard Kwuida
e-mail: kwuida@math.tu-dresden.de
- Dipl.-Math. Grit Malik
e-mail: malik@math.tu-dresden.de
- Dipl.-Inf.
Martin Morgenthal
e-mail: morgen@tcs.inf.tu-dresden.de
- Dr. rer. nat. Walter Nauber
e-mail: Walter.Nauber@inf.tu-dresden.de
- Dr. rer. nat. Jan Rothe
e-mail: janr@tcs.inf.tu-dresden.de
- Dipl.-Math. Alexandre Scalzitti
e-mail: scal@tcs.inf.tu-dresden.de
- Dipl.-Inf. Dmitri Schamschurko
e-mail: dc1@mail.inf.tu-dresden.de
- Dr.
Hendrik Tews
e-mail: tews@tcs.inf.tu-dresden.de
- Dipl.-Inf.
Anni-Yasmin Turhan
e-mail: turhan@tcs.inf.tu-dresden.de
- Dr. rer. nat.
Janis Voigtländer
e-mail: voigt@tcs.inf.tu-dresden.de
Former Members and Former Associated Members
- Dr. rer. nat. Michael Baldamus (January 1998 - March 1999)
e-mail: Michael.Baldamus@it.uu.se
- Dr. rer. nat. Björn
Borchardt (August 2001 - September 2004)
e-mail: borchard@tcs.inf.tu-dresden.de
- Dipl.-Math. Ralf Borgschulze (April 2000 - April 2001)
e-mail: rb@math.tu-dresden.de
- Dr. rer. nat. Kai Brünnler (June 2000 - July 2003)
e-mail: Kai.Bruennler@gmx.net
- Dipl.-Inf. Frank Felfe (August 2001 - August 2004)
e-mail: felfe@tcs.inf.tu-dresden.de
- M. Sc. Zsolt Gazdag (September - December 2005)
e-mail: gazdag@inf.u-szeged.hu
- Dr.
Petra Hofstedt (Associated Member)
e-mail: ph@cs.tu-berlin.de
- Dipl.-Math. Dmitrii Ignatov (May 2005)
e-mail: idm-viniti@yandex.ru
- Dr. rer. nat. Claus Jürgensen (May 2000 - May 2003)
e-mail: claus@tcs.inf.tu-dresden.de
- Dr. rer. nat.
Daniel Kirsten (January 1997 - December 1999)
e-mail: kirsten@math.tu-dresden.de
- Dr. rer. nat.
Ralph Kummetz (January 1997 - December 1999)
e-mail: ralph.kummetz@3SOFT.de
- Dr. rer. nat. Helko Lehmann (February 1997 - June 1999)
e-mail: hel99r@ecs.soton.ac.uk
- Dr. rer. nat.
Markus Lohrey (January - November 1997)
e-mail: lohrey@informatik.uni-stuttgart.de
- Dipl.-Math. Ina Mäurer (February 2003 - November 2004)
e-mail: maeurer@math.tu-dresden.de
- Dipl.-Math. Grit Malik (June 2000 - May 2003)
e-mail: malik@math.tu-dresden.de
- Dr. Dragan Masulovic (October 2001 - December 2002)
e-mail: masul@im.ns.ac.yu
- Dr. rer. nat.
Ingmar Meinecke (August 2000 - July 2004)
e-mail: meinecke@informatik.uni-leipzig.de
- Dr.
Rémi Morin (September 1999 - September 2000)
e-mail: morin@cmi.univ-mrs.fr
- Dipl.-Inf. Loránd Muzamel (February - April 2005)
e-mail: muzamel@tcs.inf.tu-dresden.de
- Dr. rer. nat. Christian Pech (November 2000 - October 2005)
e-mail: pech@math.tu-dresden.de
- Dipl.-Math. Maja Pech (February-August 2005)
e-mail: maja@im.ns.ac.yu
- Dr. rer. nat. Martin Rößiger (March 1997 - February 2000)
e-mail: roessig@math.tu-dresden.de
- Dr. rer. nat.
Jan Rothe (March 2000 - March 2003)
e-mail: janr@tcs.inf.tu-dresden.de
- Sebastian Rudolph (July 2000 - June 2003)
e-mail: rudolph@math.tu-dresden.de
- Dipl.-Inf.
Enno Sandner (July - December 1999)
e-mail: enno@inf.tu-dresden.de
- Dipl.-Inf. Dmitri Schamschurko (July 1997 - June 2000)
e-mail: dc1@mail.inf.tu-dresden.de
- Dr. rer. nat.
Karsten Schmidt (January - September 1997)
e-mail: kschmidt@informatik.hu-berlin.de
- Dipl.-Math. Kristin Schröder (September - December 1997)
- Dr. Charles Stewart (July - August, October - December 2002)
e-mail: Charles.Stewart@inf.tu-dresden.de
- Dipl.-Inf.
Hans-Peter Störr (May 1997 - April 2000)
e-mail: haps@inf.tu-dresden.de
- Dr. rer. nat. Lutz Straßburger (May 2000 - May 2003)
e-mail: lutz@ps.uni-sb.de
- Dipl.-Inf. Boontawee Suntisrivaraporn (January-July 2005)
e-mail: meng@tcs.inf.tu-dresden.de
- Dr. Igor Tarasyuk (April 2000 - March 2002)
e-mail: itar@iis.nsk.su
- Dipl.-Inf. Konstantin Tchekine (April 2003 - December 2005)
e-mail: tchekine@tcs.inf.tu-dresden.de
- Szilvia Zvada (April - October 1999)
e-mail: szisza@i2.cs.fau.de
The concept of reactive, technical systems forms the motivation for this research project. Such systems can be considered as configurations of
resources on which processes, i.e., sequences of actions are running; such sequences depend on the inner state of the system and on external events. Examples for reactive systems are operating systems, communication systems, control systems of technical installations and systems for medical diagnosis.
In our research project we aim at describing processes of such reactive, technical systems by means of formal methods. From these formal descriptions we try to derive properties of all the processes which run on the system. For example, in the framework of operating systems, we would like to derive assertions about freeness of deadlocks. Because of the complexity of such systems, only formal methods can be a sufficient basis for verification and reliability of such properties.
There is a huge diversity of formal models for the decription of processes.
Roughly, they can be partitioned into operational models (like Petri Nets, asynchronous transition systems, concurrent automata, CCS, pi-calculus, term- and graph-rewriting systems) and logics (like predicate calculus, fluent calculus, linear logic, temporal logic, µ-calculus).
The aim of the research programme is, on the one hand, to continue the investigation about how to describe processes in a formal way and the comparison of different formalizations. On the other hand, we aim at enriching these formal concepts by verification techniques.
The research programme consists of five crucial parts:
1. Algebraic models for processes
2. Category-theoretic models for processes
3. Logic-specification of processes
4. Semi-automatic verification of properties of processes
5. Formal concept analysis for processes
first period (01.01.1997 - 31.12.1999)
second period (01.01.2000 - 31.12.2002)
third period (01.01.2003 - 31.12.2005)
Library of the Graduate Programme
- Dr. rer. nat. Björn Borchardt, Verteidigung 12/2004, TU Dresden
"The Theory of Recognizable Tree Series"
- Dr. rer. nat. Kai Brünnler, defense 09/2003, TU Dresden
"Deep Inference and Symmetry in Classical Proofs"
- Dr. rer. nat. Petra Hofstedt (Associated member), defense 07/2001, TU
Dresden
"Cooperation and Coordination of Constraint Solvers"
- Dr. rer. nat. Claus Jürgensen, defense 01/2004, TU Dresden
"Categorical semantics and composition of tree transducers"
- Dr. rer. nat. Daniel Kirsten, defense 11/1999, TU Dresden
"On Decision Problems of Recognizable Trace Languages"
- Dr. rer. nat. Ralph Kummetz, defense 10/2000, TU Dresden
"Partially Ordered Sets with Projections and their
Topology"
Appeared in Dissertationes Mathematicae.
- Dr. rer. nat. Léonard Kwuida (Associated Member), defense 06/2004,
TU Dresden
"Dicomplemented Lattices. A Contextual Generalization of Boolean
Algebras"
- Dr. rer. nat. Helko Lehmann, defense 12/2001, University of Southampton
- Dr. rer. nat. Markus Lohrey, defense 07/1999, University of Stuttgart
"Das Konfluenzproblem für Spurersetzungssysteme"
- Dr. rer. nat. Ingmar Meinecke, Verteidigung 12/2004, TU Dresden
"Weighted Branching Automata - Combining Concurrency and
Weights"
- Dr. rer. nat. Christian Pech, defense 08/2003, TU Dresden
"Kleenes Theorem für Formale Baumreihen"
- Dr. rer. nat. Martin Rößiger, defense 07/2000, TU Dresden
"Coalgebras, Clone Theory, and Modal Logic"
- Dr. rer. nat. Jan Rothe, defense 08/2003, TU Dresden
"Behavioural Equivalences for Coalgebras"
- Dr. Ing. Hans-Peter Störr, defense 04/2005, TU Dresden
"Planen im Fluentkalkül mit binären Entscheidungsdiagrammen"
- Dr. rer. nat. Lutz Straßburger, defense 07/2003, TU Dresden
"Linear Logic and Noncommutativity in the Calculus of Structures"
Lectures summer term 2000 - winter
term 2005/2006
... is available from the chairman of the postgraduate programme:
- Dresden University of Technology
Department of Computer Science
Prof. Dr.-Ing. habil. Heiko Vogler
D-01062 Dresden
Germany
Tel.: +49 -351 / 463-38232
e-mail: vogler@inf.tu-dresden.de
http://www.orchid.inf.tu-dresden.de/gdp/