Der Kurs Current Topics in Concurrency Theory ist ein Seminar.
Lehrinhalte:
Moderne Software-Systeme sind verteilt und abhängig von Kommunikation. Dies führt zu zusätzlichen Problem bei der Verifikation solcher Systeme, mit denen sich das Forschungsgebiet Concurrency Theory beschäftigt. Hier werden verschiedene Methoden zur Modellierung, Simulation und Analyse verteilter Systeme untersucht. Der Bereich der Modellierungssprachen umfasst graphische Modelle so wie Petrinetze oder Event Structures genauso wie Programiersprachen nahe Modelle wie z.B. Prozesskalküle. Um solche Systeme zu analysieren, wurden verschiedene Techniken so wie Typsysteme, Model Checking und interaktives Theorembeweisen auf die speziellen Ansprüche verteilter Systeme angepasst und vielle neue Techniken wurden entwickelt. In diesem Seminar werden aktuelle Forschungspapiere aus dem Bereich Concurrency Theory vorgestellt und diskutiert.
Voraussetzungen:
Empfohlen werden Informatik- und Mathematikkenntnisse entsprechend den ersten 4 Semestern des Bachelorstudiengangs Informatik, insbesondere formalen Sprachen.
Turnus:
Der Kurs kann im Sommer- oder Wintersemester angeboten werden.
Sprache:
Der Kurs findet in Englisch statt.
Alle Informationen zu dem Kurs gibt es im Moodle (Lernprotal Informatik, Wahlbereich).
