Theoretische Informatik (Prof. Dr. Thomas Wilke)

• Automaten und Transitionssysteme
• Spezifikationslogiken
• rechnergestützte Verifikation und Synthese
• algebraische und logische Methoden in der Theorie der formalen Sprachen

Theorie der Parallelität (Prof. Dr. Klaus Jansen)

• Parallele Algorithmen
  (graphentheoretische und geometrische Algorithmen, Suchen, Sortieren)
• Ablaufplanungen auf parallelen Maschinen
  (Scheduling, mehrdimensionale Packungen, approximative, randomisierte und on-line Algorithmen)
• Algorithmische Fragen bei Kommunikationsnetzwerken
  (ATM Netzwerke, optische Netzwerke, disjunkte Pfade, Färbungen von Graphen)
• Komplexitätstheorie der parallelen Berechnungen
  (Komplexitätsmaße, Modelle der parallelen Berechnungen, Kommunikationskomplexität)

Programmiersprachen und Übersetzerkonstruktion (Prof. Dr. Michael Hanus)

• Programmiersprachen: Entwurfsprinzipien, Typsysteme, Semantik und Übersetzerkonstruktion
• Programmanalyse: Datenflussanalyse und abstrakte Interpretation, Programmoptimierung, partielle Verifikation von Programmen
• Programmierumgebungen: Systeme und Werkzeuge zur Programmerstellung, Anwendungen von programmiersprachlichen Konzepten
• Hochsprachen zur zuverlässigen Softwareerstellung: funktionale, logische, objektorientierte und nebenläufige Programmiersprachen, und deren Integration und Anwendung zum Entwurf komplexer Systeme

Rechnergestützte Programmentwicklung (Prof. Dr. Rudolf Berghammer)

• Grundlagen der Programmierung: Semantik von Programmiersprachen, Algebraische Spezifikationen, Methoden und Kalküle zur Programmerstellung, Programmsysteme zur rechnergestützten Entwicklung und Verifikation
• Abstrake Relationenalgebra: Relationale Semantik und Spezifikation, Einsatz relationaler Methoden bei der Programmentwicklung
• Algorithmische Graphentheorie: Formale Entwicklung graphentheoretischer Algorithmen, Anwendung des Relationenkalküls in der Graphentheorie, "schönes" Zeichnen von Graphen im System RELVIEW

Technologie der Informationssysteme (Prof. Dr. Bernhard Thalheim)

• Technologie der Informationssysteme, Content-Management-Systeme, Konstruk-
  tionslehre zur Entwicklung komponentenbasierter Informationssysteme
• Anwendungsentwicklung von Informationssystemen, integrierte Entwicklung von
  Informationssystemen, Sprachen zur Spezifikation von Websites
• Theorie der Datenbank- und Informationssysteme
• Begleitung und Entwicklung von Anwendungen
• Polyedernetzwerke in Kristallen und Isomorphieprobleme

Multimediale Systeme der Informationsverarbeitung (Prof. Dr.-Ing. Reinhard Koch)

• Methoden zur Behandlung verschiedener Medien wie Audio, Video, Bilder, Graphiken und Text
• Komponenten, Dienstleistungen und Anwendungen verteilter multimedialer Systeme
• Methoden der 2D- und 3D-Computer-Graphik
• Repräsentation und Rekonstruktion von 3D-Szenen
• Behandlung der Mensch-Maschine Interaktion in einem Virtual Reality Labor

Angewandte Informatik (Wirtschaftsinformatik) (Prof. Dr. Andreas Speck)

• Integration von Systemen
• Modellierung und Entwicklung von Workflow-basierten Web-Systemen
• Automatisierte Generation von Systemen
• Validierung von dynamischen Prozessen in Systemen

Kommunikationssysteme (Prof. Dr.-Ing. Norbert Luttenberger)

• Mobile Kommunikation und Sicherheit
• Firewall-Systeme und Security Gateways
• Schutz sensibler Daten und Dokumentenmanagement

Technische Informatik (Prof. Dr. Manfred Schimmler)

• Parallele Algorithmen und Architekturen;
• Architektur feinkörniger Parallelrechner und hybrider Parallelrechner;
• Computer Arithmetik für Spezialanwendungen, insbesondere aus dem Bereich der Kryptographie;
• Massiv parallele Lösungen für Fragestellungen der Bioinformatik.

Softwaretechnologie (Prof. Dr. Willem-Paul de Roever)

• Kompositionelle Theorien für kommunikationsbasierte und zustandsbasierte Nebenläufigkeit und Verfeinerung
• Vereinheitlichung von Programmverfeinerungstechniken
• Grundlagen der Beweisführung über verteilte Algorithmen
• Formalisierung von Entwurfsmethoden für die Industrie (Z, Synchrone Sprachen, Echtzeit) und ihre Ausführbarkeit
• Werkzeuge zur Automatisierung von Test-Evaluationen
• Entwicklung von Automatisierungswerkzeugen in Zusammenarbeit mit der Firma Deutsche System Technik GmbH (VST) unterstützt durch die Technologiestiftung Schleswig-Holstein
• maschinell unterstützte Verifikation von eingebetteten Echtzeit-Systemen mit der Technischen Universität Eindhoven, Zusammenarbeit mit den Universitäten in Twente, Uppsala, Oxford und Grenoble sowie dem Weizmann Institut (Rehovoth, Israel) im Rahmen eines Forschungsprojekts der EU.

Echtzeitsysteme/Eingebettete Systeme (Prof. Dr. Reinhard von Hanxleden)

• Modellbasierter Entwurf und Visualisierung komplexer reaktiver
  Systeme
• Verteilte, zeitgesteuerte Echtzeitsysteme
• Synchrone Sprachen und Reaktive Prozessoren.

Kognitive Systeme (Prof. Dr. Gerald Sommer)

• Attentives Bewegungssehen und okulomotorisches Verhalten
• Visuomotorischer Kompetenzerwerb eines Robotersystems
• Signalkodierung, Repräsentation und Strategie attentiven Objekterkennens
• Entwicklung technischer, visuell wahrnehmender Systeme, gesamtheitliche Betrachtung von Kognition, Wahrnehmung und Handeln biologischer Systeme,
• Verhaltensbasierter Entwurf visueller Systeme,
• Zusammenführung von Künstlicher Intelligenz, Neuroinformatik, Computervision und Robotik.

Praktische Mathematik (Prof. Dr. Wolfgang Hackbusch) / Scientific Computing (Lehrstuhlvertretung Dr. Steffen Börm)

• Iterative Verfahren für große Gleichungssysteme
• Datenschwache Darstellung nicht-lokaler Operatoren
• Approximation von Differential- und Integralgleichungen
• Parallelisierung numerischer Algorithmen

Diskrete Optimierung (Prof. Dr. Anand Srivastav)

• Theorie der approximativen, randomisierten und derandomisierten Algorithmen
• Algorithmen für Multicast-Netzwerke
• kombinatorische und analytische Diskrepanztheorie
• Aspekte der kombinatorischen Spieltheorie

Algorithmische Optimale Steuerung - CO₂ Aufnahme des Meeres (Prof. Dr. Thomas Slawig)

• Nicht-lineare Optimierungsverfahren
• Algorithmisches Differenzieren von Computerprogrammen
• Parameteroptimierung in Simulationsmodellen (z.B. Klimamodelle)
• Modellkopplung
• Mathematische Modellierung

Forschungskooperationen
Es bestehen vielfältige Kooperationen mit Partnern außerhalb des Instituts für Informatik. Dazu gehören:

• Institute und Lehrstülhe der Christian-Albrechts-Universität
• Örtliche und überörtliche Unternehmen der Datenverarbeitungsindustrie
• Universitäten und Großforschungseinrichtungen im In- und Ausland

Die Kooperationen werden von der Technologiestiftung Schleswig-Holstein, von der Deutschen Forschungsgemeinschaft, vom Bundesminister für Bildung und Forschung und von der Europäischen Union gefördert.