Professur für Theorie verteilter Systeme
Das Forschungsgebiet der Professur für theoretische Informatik ist die Theorie verteilter Systeme, die vorwiegend mit Petrinetzen oder in Prozessalgebren modelliert werden. Schwerpunkte der Untersuchungen sind:
- Verhaltensbeschreibungen, die den modularen Systementwurf unterstützen
- Halbordnungssemantik zur effizienten Verifikation
- Effizienz asynchroner Systeme
- Effiziente Synthese asynchroner Schaltkreise durch Dekomposition von Petrinetzen
Team
Unser Team im Überblick: So erreichen Sie uns – von Lehrstuhlinhaber bis ehemaligen Mitarbeiter.
Forschung
Hier finden Sie eine Auflistung aller Projekte, Veröffentlichungen, technischen Berichte und verwendeten Tools des Lehrstuhls.
Studium & Lehre
Auf dieser Seite finden Sie alle angebotenen Lehrveranstaltungen des aktuellen und letzten Semesters unseres Lehrstuhls.
Ansprechpartner
Professor
Professur für Theorie verteilter Systeme
- Telefon: +49 821 598 - 2120
- E-Mail:
- Raum 3010 (Gebäude N)
Anschrift
Institut für Informatik
Universität Augsburg
D-86135 Augsburg
Hausanschrift (für Besucher und Paketpost)
Universitätsstr. 6a
D-86159 Augsburg
