Algebraische und logische Grundlagen der Informatik

There is also an English version of this document.

Informationen über das Institut für Theoretische Informatik der Fakultät Informatik an der TU Dresden

Professur Algebraische und logische Grundlagen der Informatik

Prof. Dr. rer. nat. habil. Horst Reichel

Sekretariat

Frau Findeisen: Telefon: (0351) 463 38549
Fax : (0351) 463 38348
Raum: 408

Lehre

Lehrgebiete
- Logik
- Systemspezifikation
- Formale Prozeßmodelle
Lehrveranstaltungen Sommersemester 2006
Lehrveranstaltungen Wintersemester 2005/2006
Beleg- und Diplomthemen
- Diplomstudiengang Informatik
- Computational Logic
Graduiertenkollegs
- Spezifikation diskreter Prozesse und Prozeßsysteme durch operationelle Modelle und Logiken
- Werkzeuge zum effektiven Einsatz paralleler und verteilter Rechnersysteme

Forschung

Forschungsgebiete
- Algebraische Spezifikation abstrakter Datentypen
- Semantik konkurrierender Objektsysteme
Forschungsaktivitäten
- Workshop on Algorithms and Tools for Coinductive Reasoning
- Workshop "Categorical Models of Concurrency "
- Workshop on "Coalgebraic Methods in Computer Science (CMCS'2000)"
- STACS 2001
Veröffentlichungen
Forschungsseminar des Lehrstuhls