Prof. Vogler - Theoretische Informatik

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

Anschrift:

Institut für Informatik
Universität Augsburg
D-86135 Augsburg

Hausanschrift: (für Besucher und Paketpost)

Universitätsstr. 14
D-86159 Augsburg