Die Institute der Informatik

Department Informatik IBR - Algorithmik Algorithmik Fekete Kröller ...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 21.10.2013 Department Informatik 2

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

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. Request Reply Prepare Commit Update Passive Replica Active Replicas 21.10.2013 Department Informatik 4

Department Informatik 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 21.10.2013 Department Informatik 5 5

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 Databases and P2P Data Management Information Retrieval and Web Search 6. April 2010 Masterstudiengang Informatik Relational Database Systems 2 21.10.2013 10.04.2012 Department Informatik Department Informatik 6/43 6 6 6

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

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) Management von Informationssystemen des Gesundheitswesens transinstitutionelle Informationssysteme für die kooperative Gesundheitsversorgung rechtssicheren Archivierung und Kommunikation Anwendungssysteme für eine vernetzte Gesundheitsversorgung Haux 21.10.2013 Department Informatik 8 8

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

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

Department Informatik ITI – Theoretische Informatik Alan Turing Adámek 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 Vorlesungen Grundl. der Sicherheit in Netzen und verteilten Systemen Grundl. Der Verifikation Komplexität von Algorithmen Algebra des Programmierens Codierungstheorie Cryptographie + Praktikum 21.10.2013 Department Informatik 11

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 Bei cuse, vlsi und hwsw erwaehnen, dass es sich um vorlesung, uebung und praktika handelt Es bietet sich an einige vorlesungen wie cuse2 erst im master zu hoeren, gleiches gilt fuer vlsi design und das systemc praktikum 21.10.2013 Department Informatik 12 12

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 21.10.2013 Department Informatik 13 13