Die Institute der Informatik

Präsentation zum Thema: "Die Institute der Informatik"—  Präsentation transkript:

1 Die Institute der Informatik

2 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 Department Informatik 2

3 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) Department Informatik 3 3 3

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

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

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

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

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

9 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 Department Informatik 9

10 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 Department Informatik 10

11 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 Department Informatik 11

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 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 Department Informatik 12 12

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 13 13