Inhaltsverzeichnis

[1. Überblick]
[2. Fakultätsweite Forschungsschwerpunkte]
[3. Forschungsschwerpunkte der Institute]

1. Überblick

Die Arbeit an der Fakultät Informatik deckt das gesamte Spektrum der Informatik ab, angefangen von der Theorie bis zur Praxis, von der Grundlagenforschung bis zur Anwendung. In den letzten Jahren ist es der Fakultät gelungen, eine besonders hohe wissenschaftliche Kompetenz und Leistungsfähigkeit auf den Gebieten von Hochleistungsnetzwerken, Multimedia, parallelen und verteilten Rechnersystemen, intelligenten Systemen, und formalen Methoden der Spezifikation zu entwickeln. Das zeigt sich auch darin, dass man ständig bemüht ist, herausragende Wissenschaftler für die Fakultät zu gewinnen.

2. Fakultätsweite Forschungsschwerpunkte

Multimedia und Teledienste

Forschung zu multimedialen Hyperdokumenten, die als Mittel der Kommunikation, Kooperation und Information in verteilten Organisationen, wie z. B. Universitäten und Unternehmen, dienen können.
Stichworte: Teleteaching, Mobile and Ubiquitous Computing, Living Documents, 3D-Display, Virtuelle Realität, Softwaretechnologie

Intelligente formale Systeme

Untersuchung formaler Systeme für Probleme, die zu ihrer Lösung entweder intelligentes Verhalten erfordern oder wegen der vorliegenden Komplexität, den Einsatz von Rechnern erforderlich machen.
Stichworte: Computational Logic, Theorie der Prozesse, Verifikation, Intelligente Systeme

3. Forschungsschwerpunkte der Institute

Institut für Angewandte Informatik

Flexible automatisierte Systeme in Wechselwirkung mit Mensch und Umgebung bilden den Forschungsschwerpunkt des Instituts für Angewandte Informatik. Dabei stehen Architekturen, Modelle und Methoden für Entwurf, Test, Betrieb und Diagnose von heterogenen, verteilten, vernetzten Echtzeit- und Automatisierungssystemen im Mittelpunkt. Der Einsatz solcher Systeme in Produktions- und Geschäftsprozessen erfolgt mit dem Ziel der Optimierung von Performance, Energieverbrauch, Kosten und Qualität.

Institut für Künstliche Intelligenz

Die Forschungsaktivitäten innerhalb des Instituts für Künstliche Intelligenz kann man grob in Computational Logic und Angewandte Wissensverarbeitung (in der Gruppe von Dr. Petersohn) einteilen. Die Ausrichtung auf Computational Logic in Forschung und Lehre wurde auch mit der Gründung eines eigenen Exzellenzzentrums, dem International Center for Computational Logic, bekräftigt.

• Wissensverarbeitung (Prof. Hölldobler)
  Logik and Informatik, Logik und intelligente Agenten, Logik und Konnektionismus
• Angewandte Wissensverarbeitung (Dr. Petersohn)
  Wissensgewinnung und Fall-basiertes Schließen in praktischen Anwendungen

Institut für Software- und Multimediatechnik

[Noch keine Informationen bereitgestellt.]

Institut für Systemarchitektur

Die Beherrschbarkeit komplexer verteilter Systeme und die zugehörigen Architektur- und Realisierungsfragen bilden den wesentlichen Forschungsschwerpunkt des Instituts. Dies umfasst neue Technologien der Mikrokern- und Echtzeitbetriebssysteme, grundlegende Fragestellungen zu Sicherheit und Schutz sowie zu Verfügbarkeit und Fehlertoleranz, neue Lösungen der Datenintegration und Datenstromverarbeitung sowie innovative Software-Infrastrukturen und Dienstarchitekturen für vernetzte Anwendungen. Die Arbeiten zu diesen Gebieten sind geprägt von einer engen Verzahnung zwischen Grundlagenforschung, anwendungsnaher Innovation und prototypischer Validierung.

Institut für Technische Informatik

[Noch keine Informationen bereitgestellt.]

Institut für Theoretische Informatik

Die Forschung im Institut für Theoretische Informatik überdeckt ein breites Feld, das die Grundlagen von Programmiersprachen, die Wissensrepräsentation, automatische Schließen, Spezifikation und Verifikation von Software und Rechnen mit DNA beinhaltet.

• Grundlagen der Programmierung (Prof. Vogler)
  Syntax und Semantik von Programmiersprachen, funktionale Programmierung, Baumautomaten, gewichtete Automaten
• Spezifikation und Verifikation (Prof.Reichel )
  algebraische und co-algebraische Spezifiaktionsprachen, co-algebraische Softwareverifikation, kategorientheoretische Semantik
• Wissensrepräsentation (Prof. Baader)
  Beschreibungslogiken, modale Logiken, Termersetzung und Gleichheitsbehandlung, Unifikationstheorie, Kombination von Entscheidungsverfahren
• Rechnen mit DNA (Dr. Sturm)
  Universelle verteilte Splicing-Systeme, Labornahe Simulation von molekularen Computern, Konstruktion von Algorithmen für molekulare Computer

International Center for Computational Logic

[Noch keine Informationen bereitgestellt.]