1 von 48 Herzlich Willkommen Begrüßung der neuen Informatik-Studierenden zum Wintersemester...
-
Upload
hermine-muckenfuss -
Category
Documents
-
view
106 -
download
1
Transcript of 1 von 48 Herzlich Willkommen Begrüßung der neuen Informatik-Studierenden zum Wintersemester...
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