Lehr- und Forschungseinheiten

Die Forschung am Institut gliedert sich in sieben Lehr- und Forschungseinheiten (LFE) mit derzeit dreizehn aktiven Professoren, welche sich mit unterschiedlichen Forschungsgebieten beschäftigen.

Kommunikationssysteme und Systemprogrammierung

• http://www.nm.ifi.lmu.de/
  http://www.mobile.ifi.lmu.de/
• Prof. Dr. Heinz-Gerd Hegering, Prof. Dr. Dieter Kranzlmüller, Prof. Dr. Claudia Linnhoff-Popien, Prof. Seegmüller (emer.)

• Ein Forschungsschwerpunkt der LFE ist IT-Management. Ziel hierbei ist es große, heterogene, vernetzte und verteilte IT-Systeme betreibbar und beherrschbar zu machen. Derzeit aktuelle Forschungsfragestellungen kommen aus dem Bereichen Dienst-, Sicherheits-, Performance- und Qualitätsmanagement. Es werden Konzepte des Policy based Management untersucht und weiterentwickelt. Daneben spielen auch Fragen des Customer Service- sowie des Service Level Managements eine wichtige Rolle.

  Ein zweiter Schwerpunkt des Lehrstuhls liegt im Bereich der verteilten Systeme, insbesondere in mobilen und ubiquitären Umgebungen. Im Mittelpunkt aktueller Forschungsprojekte stehen hier die Entwicklung und Bewertung von Systemen für orts- und kontextsensitive Dienste, die sich automatisch an die Umgebungsparamter ihrer Nutzer anpassen. Weitere Arbeiten finden in den Bereichen Dienstvermittlung, Adaptierung von Inhalten und Ad-Hoc-Netze statt.

Datenbanksysteme

• http://www.dbs.ifi.lmu.de/
• Prof. Dr. Hans-Peter Kriegel, Prof. Dr. Christian Böhm

• Wesentliche Schwerpunkte der Lehr- und Forschungseinheit Datenbanksysteme in Forschung und Lehre sind Entwurf und Implementierung von Datenbanksystemen, insbesondere in den Anwendungsbereichen Biologie, Biochemie, Medizin, Multimedia, Geographie und Ingenieurwissenschaften.

  Derzeit aktuell sind die folgenden Arbeitsgebiete: Knowledge Discovery in Databases, Ähnlichkeitssuche in Datenbanksystemen, Zugriffsmethoden für hochdimensionale Datenräume, Geometrische Datenverwaltung in CAD-Datenbanken sowie Molekulare Bioinformatik und Medizininformatik.

Programmierung und Softwaretechnik

• http://www.pst.ifi.lmu.de/
• Prof. Dr. Martin Wirsing, Prof. Dr. Fred Kröger, Prof. Dr. Rudolf Haggenmüller (apl.), Prof. Dr. Rolf Hennicker (apl.)

• Vorrangiges Ziel der "Lehr- und Forschungseinheit für Programmierung und Softwaretechnik" ist die Entwicklung von Methoden zur Verbesserung der Software-Qualität. Als Schlüssel dazu dienen systematische Software-Entwicklungstechniken basierend auf formalen Grundlagen und geeigneter Werkzeugunterstützung.

  Aktuelle Forschungsthemen sind objektorientierte, komponentenbasierte Software-Entwicklung, Web-Engineering, Global Computing, Software-Agenten sowie aspektorientierte Programmierung. Darüber hinaus ist die LFE an einem interdisziplinären Forschungsprojekt auf dem Gebiet des globalen Klimawandels beteiligt.

  Als formale Grundlagen werden vor allem algebraische und koalgebraische Spezifikationsmethoden, Semantik von Spezifikations- und Programmiersprachen, sowie temporale Logiken und ihre Anwendung untersucht.

  Die Werkzeugunterstützung umfaßt Systeme zur systematischen Entwicklung von Web-Anwendungen, zur automatischen Validierung und Verifikation von Software-Modellen, zur Konstruktion von Software- und Agentenkomponenten sowie ein System zur Klimasimulation.

Programmier- und Modellierungssprachen

• http://www.pms.ifi.lmu.de/
• Prof. Dr. François Bry, Prof. Dr. Hans Jürgen Ohlbach
• Derzeitiger Schwerpunkt der Arbeit der "Lehr- und Forschungseinheit für Programmier- und Modellierungssprachen" ist die Untersuchung und Entwicklung von Sprachen, Formalismen und Verfahren für die Datenmodellierung, die Anfrageauswertung und das Schließen im Kontext des Web insbesondere des Semantic Web.

Theoretische Informatik

• http://www.tcs.ifi.lmu.de/
• Prof. Dr. Martin Hofmann
• Typische Schwerpunkte der Theoretischen Informatik in Forschung und Lehre richten sich auf die Logik in der Informatik, Typentheorie und Lambdakalküle sowie Komplexitätstheorie.

Bioinformatik

• http://www.bio.ifi.lmu.de/
• Prof. Dr. Ralf Zimmer, Prof. Dr. Volker Heun
• Die Schwerpunkte der "Lehr- und Forschungseinheit Praktische Informatik und Bioinformatik" liegen in der Entwicklung mathematischer und statistischer Modelle sowie effizienter Algorithmen und computer-basierter Verfahren zur Lösung biologischer Fragestellungen, insbesondere für die Analyse von Gen- und Proteinsequenzen, zur Proteinstrukturvorhersage sowie zur Interpretation von regulatorischen und metabolischen Netzwerken und Genexpressionsdaten.

Medieninformatik

• http://www.medien.ifi.lmu.de/
• Prof. Dr. Heinrich Hußmann, Prof. Dr. Andreas Butz
• Die Forschungsarbeit an der Lehr- und Forschungseinheit Medieninformatik konzentrieren sich auf Interaktionstechnologien. Dabei werden einerseits neuartige Interaktionstechniken durch Integration von Mediensystemen in die Alltagswelt untersucht, andererseits wird an softwaretechnischen Entwicklungswerkzeuge für multimediale Anwendungen gearbeitet. Daneben finden in Kooperation mit anderen Einrichtungen der LMU und mit diversen Partnern aus der Wirtschaft vielfältige interdisziplinäre Projekte zu Neuen Medien und Interaktionstechniken statt.

Zuletzt bearbeitet am 27.05.2008.