伟德国际_伟德国际1946$娱乐app游戏

图片

Das Forschungsgebiet der Professur für theoretische Informatik ist die?Theorie verteilter und paralleler Systeme, insbesondere der Entwurf, die Anpassung und die Analyse von Modellierungssprachen für solche Systeme. Der Fokus in den Modellen liegt hier in der Regel in der Interaktion zwischen den verteilten Komponenten. Schwerpunkte der Untersuchungen sind:

?

  • Analyse einer Modellierungssprache z.B. in Hinblick auf Verteilbarkeit, Synchronizit?t oder Kausalit?t
  • Vergleich von Modellierungssprachen z.B. durch Kodierungen und die Validierung der für solche Vergleiche genutzten Kriterien
  • Typsysteme, insbesondere Multiparty Session Types, als effiziente Analysewerkzeuge
  • Erweiterung von Modellierungssprachen z.B. um Fehlertoleranz
  • Identifikation und Anpassung von Modellierungssprachen für spezielle Anwendungen wie z.B. verteile Algorithmen oder quantenbasierte Systeme

Für viele dieser Untersuchungen werden Prozesskalküle als grundlegende Modellierungssprache genutzt. Es kommen aber auch andere Modelle, wie zum Beispiel Petrinetze oder Event Structures zum Einsatz. Teilweise wird Isabelle/HOL zur Formalisierung und Validierung genutzt.

Team

Unser Team im ?berblick: So erreichen Sie uns – von Lehrstuhlinhaber bis ehemaligen Mitarbeiter.

Aus Papier ausgeschnittene Figuren, die sich an den H?nden halten

Forschung

Hier finden Sie eine Auflistung aller Projekte des Lehrstuhls und offene Forschungsstellen (falls es aktuell welche gibt).

Bücher, Wekcer sowie Tafel mit Aufschrift "Science"

Studium & Lehre

Auf dieser Seite finden Sie alle aktuell angebotenen Lehrveranstaltungen des Lehrstuhls.

Informatik-H?rsaal

Ansprechpartner

Professorin
Professur für Theorie verteilter Systeme
  • 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