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


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


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


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


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


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


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


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


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


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


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

Die Institute der Informatik

Documents

Transcript of Die Institute der Informatik