1 von 48

Herzlich WillkommenBegrüßung der neuen Informatik-Studierenden

zum Wintersemester 2014/15(Prof. Ina Schaefer)

2 von 48

Die Institute der Informatik

3 von 48

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

20.10.2014 Department Informatik

4 von 48

Lehre: Vertiefungen im Umfeld „Computer Networking“

Studienrichtung: Kommunikation, Information und mobile verteilte Systeme (KIS)

Kommunikation für & mit realer Welt Telematik / Fahrzeugkommunikation Verzögerungs- und

unterbrechungstolerante Netze Drahtlose Sensornetze + Ad-hoc Netze Dienstgüte Adaptive Medienübertragung / Streaming

Kommunikation und Multimedia

ad hoc

Wolf

Display Panel

SMOG

Gateway

Vehicle Nodes

PassengersTourists

Residents

20.10.2014 Department Informatik

5 von 48

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

20.10.2014 Department Informatik

6 von 48

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

creation / interpolation Image understanding New in-/output modalities

Magnor

20.10.2014 Department Informatik

7 von 4810.04.2012 Department Informatik 7/43

6. April 2010 Masterstudiengang Informatik

Department Informatik 20.10.2014

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

8 von 48

Softwaretechnik und Fahrzeuginformatik

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

Schaefer

Department Informatik20.10.2014

9 von 48

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

20.10.2014 Department Informatik

10 von 48

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

Programmiersprachen Compilerbau Semantik von Programmiersprachen

Goltz Balke

20.10.2014 Department Informatik

11 von 48

Lehre

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

Robotik I

Robotik II

Robotikpraktikum

Digitale Bildverarbeitung

3D-Computersehen

20.10.2014 Department Informatik

12 von 48

Alan T

uring

Theoretische Informatik

Algebraische und koalgebraische Semantik

Rekursion und Iteration

Initiale Algebren und terminale Koalgebren

Formale Verifikation

Modellierung sicherheitskritischer Systeme

automatische Prüfung von Eigenschaften

Kryptographie und Codierungstheorie

kryptographische Protokolle

fehlerkorrigierende Codes

AdámekBachelor-Vorlesungen Einführung in die Logik

Theoretische Informatik 1 + 2

Master-Vorlesungen Grundlagen der Verifikation

Komplexität von Algorithmen

Algebra des Programmierens

Fehlerkorrigierende Codes

Kryptographie + Praktikum

20.10.2014 Department Informatik

13 von 48

Berekovic

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

LehreChip- und System-EntwurfPraktikum ISTVLSI DesignHWSW-SystemePraktikum Adaptive RechnerPraktikum Home AutomationHW-SW-Codesign mit SystemCTeamprojektSeminar

20.10.2014 Department Informatik

14 von 48

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

20.10.2014 Department Informatik