Die Institute der Informatik
description
Transcript of Die Institute der Informatik
Die Institute der Informatik
Department Informatik21.10.2013
IBR - 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
Fekete Kröller
Algorithmik
Department Informatik21.10.2013
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
Lehre: Vertiefungen im Umfeld „Computer Networking“
Studienrichtung: Kommunikation, Information und mobile verteilte Systeme (KIS)
ad hoc
Wolf
Display Panel
SMOG
Gateway
Vehicle Nodes
PassengersTourists
Residents
Department Informatik21.10.2013
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
N.N.
Kapitza
Request
ReplyPrepare Commit
UpdatePassive Replica
Active Replicas
Department Informatik21.10.2013
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 Informatik21.10.201310.04.2012 Department Informatik 6/43
6. April 2010 Masterstudiengang Informatik
Informationssysteme
Information Retrievaland Web Search Relational Database Systems 2
Distributed Databasesand P2P Data Management
Digitale Bibliotheken Dokumente verstehen Zusammenhänge erkennen
Bio-Informationssysteme Daten zusammenführen Prozesse verstehen
Personalisierte Suche Wahrnehmung nachbilden Vorlieben berücksichtigen
Geo-Informationssysteme Karten individualisieren
Wolf-Tilo Balke
Department Informatik21.10.2013
Softwaretechnik und Fahrzeuginformatik
Schaefer
Testverfahren Formale Methoden Model Checking Programm-
verifikation
Programmierung
Variabilität und Evolution
Modellierung
Delta-orientierte Programmierung
Trait-basierte Programmierung
Entwicklungs-werkzeuge
Architekturen Softwareproduktlinien Modellbasierte
Entwicklung
Qualitätssicherung
Automotive Software Engineering
Department Informatik21.10.2013
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 Informatik21.10.2013
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 Informatik21.10.2013
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-VisionMedizinrobotik
Federführung: Prof. Dr.-Ing. F. Wahl
Turnus: jährlich beginnend im Wintersemester
Robotik I
Robotik II
Robotikpraktikum
Medizinrobotik
Digitale Bildverarbeitung
3D-Computersehen
Bildverarbeitungspraktikum
Studienrichtung Robotik Robotik Computervision
For
schu
ngLe
hre
Wahl
Department Informatik21.10.2013
ITI – Theoretische Informatik
• 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
AdámekVorlesungen
● Grundl. der Sicherheit in Netzen und verteilten Systemen
● Grundl. Der Verifikation
● Komplexität von Algorithmen
● Algebra des Programmierens
● Codierungstheorie
● Cryptographie
+ Praktikum
Alan T
uring
Department Informatik21.10.2013
E.I.S. - Entwurf Integrierter Systeme
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-EntwurfPraktikum ISTVLSI DesignHWSW-SystemePraktikum Adaptive RechnerPraktikum Home AutomationHW-SW-Codesign mit SystemCTeamprojektSeminar
Berekovic
Department Informatik21.10.2013
WiRe - Wissenschaftliches Rechnen
Matthies
Entwicklung rechnergestützter Werkzeuge für Ingenieure und Wissenschaftler zur numerischen Simulation physikalischer Systeme
• Verbesserung numerischerVerfahren
• Hochleistungsrechnen
• Parallele/Verteilte Berechnungen
• Kopplung existierender Simulationsprogramme