Die Institute der Informatik

1. Die Institute der Informatik

2. IBR - Algorithmik Fekete Kröller Algorithmik ...in Theorie ...und Praxis • Netzwerkalgorithmen • Algorithmische Geometrie • Verteilte Algorithmen • Online-Algorithmen • Approximationsalgorithmen • Algorithm Engineering • Computernetze • Roboternavigation • Packalgorithmen • Sensornetze,Internet of Things,eingebettete Systeme • Fahrzeugschwärme Department Informatik

3. IBR - Kommunikation und Multimedia Lehre: Vertiefungen im Umfeld „Computer Networking“  Studienrichtung: Kommunikation, Information und mobile verteilte Systeme (KIS) Wolf ad hoc Department Informatik Kommunikation für & mit realer Welt • Telematik / Fahrzeugkommunikation • Verzögerungs- undunterbrechungstolerante Netze • Drahtlose Sensornetze + Ad-hoc Netze • Dienstgüte • Adaptive Medienübertragung / Streaming

4. IBR – Verteilte Systeme Ressourceneffiziente einbruchstolerante Systeme Effiziente Einigungsprotokolle Middleware und Systemunterstützung (z.B. mittels Virtualisierung) Cloud-Infrastruktur für kritische Anwendungen Robuste Laufzeitumgebungen Multicloud-Computing Reprogrammierbarkeit von Sensornetzwerken Laufzeitanpassung von Systemsoftware Energiegewahre (Re)-Programmierung Kapitza N.N. Prepare Commit Reply Request Active Replicas Passive Replica Update Department Informatik

5. ICG - Computergraphik Visual Computing Messen und Modellieren Bildbasierte Modellierung Natural Phenomena Schnelle und realistische Bilderzeugung Raytracing OpenGL & Shader Free-Viewpoint Video Wahrnehmen und Verstehen Perception-based Image interpolation Portrait Classifier Magnor Department Informatik

6. Informationssysteme Geo-Informationssysteme Karten individualisieren Personalisierte Suche Wahrnehmung nachbilden Vorlieben berücksichtigen Bio-Informationssysteme Daten zusammenführen Prozesse verstehen Digitale Bibliotheken Dokumente verstehen Zusammenhänge erkennen Wolf-Tilo Balke Distributed Databasesand P2P Data Management Information Retrievaland Web Search Masterstudiengang Informatik 6. April 2010 Relational Database Systems 2 10.04.2012 Department Informatik 6/43 Department Informatik

7. Softwaretechnik und Fahrzeuginformatik Variabilität und Evolution Schaefer Programmierung Qualitätssicherung Modellierung • Delta-orientierte Programmierung • Trait-basierte Programmierung • Entwicklungs-werkzeuge • Testverfahren • Formale Methoden • Model Checking • Programm-verifikation • Architekturen • Softwareproduktlinien • Modellbasierte Entwicklung Automotive Software Engineering Department Informatik

8. PLRI – Peter L. Reichertz Institut für Medizinische Informatik Assistierende Gesundheitstechnologie (AGT) Aktive Umgebungen, Sensor-Technologien, mobile Werkzeuge, Einbettung in Informationssysteme Verbesserung bzw. Erhaltung des Gesundheitszustandes Schaffung nachhaltiger Bedingungen für ein aktives, selbstständiges und selbst gestaltetes Leben Informationsmanagement und Informationssysteme für das Gesundheitswesen (I²G) Methoden für das (insb. strategische) Managementvon Informationssystemen des Gesundheitswesens transinstitutionelle Informationssysteme für die kooperative Gesundheitsversorgung rechtssicheren Archivierung und Kommunikation Anwendungssysteme für eine vernetzte Gesundheitsversorgung Haux Department Informatik

9. IPS - Programmierung und Reaktive Systeme Reaktive Systeme Grundlagen für software-intensive eingebettete Systeme Modellbasierte Entwicklung Struktur und Verhalten Echtzeit Softwarequalität Formale Methoden Architekturbewertung Validierung und Verifikation Goltz Department Informatik

10. iRP – Robotik und Prozessinformatik Industrierobotik Medizinrobotik Computer-Vision • Parallelkinematiken (SFB 562) • Robotersteuerungs-architekturen • Montageplanung • Mobile Robotik • Computergestützte Knochenreponierung • Roboterassistierte Korrekturoperationen • Robotergeführte Endoskopie • Biomechanische Modelle des Schädels und Kniegelenks • Tiefendatensensorik • Objekterkennung • 3D-Registrierung • Posenbestimmung • Raumüberwachung • Fahrerassistenzsysteme Forschung Studienrichtung Robotik Robotik Computervision • Federführung: Prof. Dr.-Ing. F. Wahl • Turnus: jährlich beginnend im Wintersemester • Robotik I • Robotik II • Robotikpraktikum • Medizinrobotik • Digitale Bildverarbeitung • 3D-Computersehen • Bildverarbeitungspraktikum Lehre Wahl Department Informatik

11. Adámek ITI – Theoretische Informatik Alan Turing Vorlesungen • Grundl. der Sicherheit in Netzen und verteilten Systemen • Grundl. Der Verifikation • Komplexität von Algorithmen • Algebra des Programmierens • Codierungstheorie • Cryptographie + Praktikum • Algebraische und koalgebraische Semantik • Prozessalgebra • Rekursion und Iteration • Initiale Algebren und terminale Koalgebren • Kryptographie und Kodierungstheorie • Kryptographische Protokolle • Fehlerkorrigierende Kodes • Formale Sprachen • Limitierte Lindenmayer Systeme Department Informatik

12. E.I.S. - Entwurf Integrierter Systeme Berekovic Forschung • System Architektur • Performance • Low Power • Reliability • Safety • Many Core • System Entwicklung • Virtuelle Plattformen • Transaction-Level Modeling • Anwendungen • Digitale Signalverarbeitung (Video, Fahrassistenz, Wireless) • Sensor-Knoten (Medizin, Industrie) • Smart Buildings Lehre • Chip- und System-Entwurf • Praktikum IST • VLSI Design • HWSW-Systeme • Praktikum Adaptive Rechner • Praktikum Home Automation • HW-SW-Codesign mit SystemC • Teamprojekt • Seminar Department Informatik

13. WiRe - Wissenschaftliches Rechnen Matthies Entwicklung rechnergestützter Werkzeuge für Ingenieure und Wissenschaftler zur numerischen Simulation physikalischer Systeme • Verbesserung numerischer Verfahren • Hochleistungsrechnen • Parallele/Verteilte Berechnungen • Kopplung existierender Simulationsprogramme Department Informatik