Der Webauftritt der Arbeitsgruppe Theorie komplexer Systeme ist umgezogen. Werden Sie nicht automatisch weitergeleitet, nutzen Sie bitte folgenden Link:

http://www.tks.informatik.uni-frankfurt.de/

Theorie komplexer Systeme
Prof. Dr. Nicole Schweikardt
Institut für Informatik
Goethe-Universität
Frankfurt am Main

Arbeitsgruppe Theorie komplexer Systeme

Forschungsschwerpunkte  -   Mitarbeiter/innen  -   Lehre  -   Publikationen  -   Links  -   Kontakt

Forschungsschwerpunkte:

Das Forschungsinteresse der Arbeitsgruppe "Theorie komplexer Systeme" gilt der theoretischen Informatik mit Schwerpunkten in den Bereichen Komplexitätstheorie, Logik und Datenbanktheorie. Besonderes Augenmerk wird hierbei auf die Verbindungen zwischen diesen Gebieten gelegt. Beispielsweise fungieren Logiken u.a. als Basis für Datenbankanfragesprachen und als Spezifikationssprachen, die im Bereich der Verifikation verwendet werden. Viele Aspekte komplexer Systeme lassen sich auf natürliche Weise durch logische Strukturen modellieren, so dass Eigenschaften komplexer Systeme durch logische Formeln beschrieben werden können.

Generelles Ziel der Forschungsarbeit der AG TKS ist, die Komplexität, die Problemen oder Systemen innewohnt, besser zu verstehen. Dabei interessieren uns die unterschiedlichsten Maße für Komplexität, darunter verschiedene Maße für die Berechnungskomplexität (Frage: Wie schwer ist es, das Problem algorithmisch zu lösen?) sowie für die Beschreibungskomplexität (Frage: Wie schwer ist es, das Problem in einem geeigneten Formalismus zu beschreiben?). Hierbei geht es u.a. darum, den Zusammenhang zwischen logischer Beschreibbarkeit und effizienter algorithmischer Lösbarkeit zu ergründen.

Ein Schwerpunkt der Arbeitsgruppe liegt in der Untersuchung der Ausdrucksstärke und Komplexität unterschiedlicher Logiken. Ein weiterer Schwerpunkt ist die Erforschung der Komplexität der Verarbeitung von großen Datenmengen und Datenströmen. Hierbei geht es uns insbesondere um die Entwicklung von Berechnungsmodellen, die den durch Speicherzugriffe verursachten Aufwand klassifizieren, um den Nachweis unterer Schranken, sowie um die Entwicklung effizienter Algorithmen zur Verarbeitung von großen Datenmengen und Datenströmen.

Mitarbeiter/innen:
Leitung:
Prof. Dr. Nicole Schweikardt
 
Wissenschaftliche Mitarbeiter:
Dipl.-Inf. André Böhm
Dipl.-Inf. Dominik Freydenberger
Dipl.-Inf. André Hernich
Dr. Mariano Zelke
 
Studentische Hilfskräfte:
Frederik Harwath
Lucas Heimberg
 
Studentische Hilfskräfte für die Diskrete Modellierung (WS 2009/10):
Altug Anis
Khan Linh Doan
Sandra Kiefer
Alexander Komissarenko
Sekretariat:
Jutta Nadland
 
Systemadministratorin:
Christel Waschbüsch

Lehrveranstaltungen:
Lehrveranstaltungen der Arbeitsgruppe TKS

Publikationen:
André Böhm
Dominik Freydenberger
André Hernich
Nicole Schweikardt
Mariano Zelke

Kontakt:
Prof. Dr. Nicole Schweikardt
Goethe-Universität Frankfurt am Main
Institut für Informatik
Arbeitsgruppe Theorie komplexer Systeme
Robert-Mayer-Str. 11-15
D-60325 Frankfurt am Main
 
Anfahrtbeschreibung
Tel.: 069 / 798 28155       Sekretariat:   069 / 798 28119
Fax: 069 / 798 28334
E-Mail:   schweika@informatik.uni-frankfurt.de
Url: http://www.tks.informatik.uni-frankfurt.de/schweika
 


Nicole Schweikardt