Forschungsaktivitäten
Am Institut für Informatik wird in 15 Arbeitsgruppen zu unterschiedlichen Themen und Fragestellungen geforscht. Im Folgenden haben wir die Forschungsaktivitäten der einzelnen Arbeitsgruppen in Stichpunkten zusammen gestellt. Weitere Informationen erhalten Sie auf den jeweiligen Web-Seiten.
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.
Software Engineering (Prof. Dr. Wilhelm Hasselbring)
- Software Engineering von verteilten Systemen
- Entwurf und Analyse von Software-Architekuren
- Technische Realisierung auf der Basis von Entwurfsmustern mit Middleware-Systemen wie CORBA, Enterprise Java und Grid-Technologien
- Betrieb von verteilten Systemen, insbesondere für Fehlerbehandlung, Monitoring und Adaptivität
- Software Performance Engineering
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.
Scientific Computing (Prof. Dr. Steffen Börm) / Praktische Mathematik (Prof. Dr. Wolfgang Hackbusch)
- 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 - CO2 Aufnahme des Meeres (Prof. Dr. Thomas Slawig)
- Nicht-lineare Optimierungsverfahren
- Algorithmisches Differenzieren von Computerprogrammen
- Parameteroptimierung in Simulationsmodellen (z.B. Klimamodelle)
- Modellkopplung
- Mathematische Modellierung