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

 

 

Anreise zur Universität

 

Campus der Universität, Gebäude D5, Ebene 4

© Universität Augsburg

Suche