Begrüßung der neuen Informatik-Studierenden zum Wintersemester 2014/15 Herzlich Willkommen Begrüßung der neuen Informatik-Studierenden zum Wintersemester 2014/15 (Prof. Ina Schaefer)

Die Institute der Informatik

Department Informatik Algorithmik Fekete Kröller 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 20.10.2014 Department Informatik 3

Kommunikation und Multimedia Wolf Kommunikation für & mit realer Welt Telematik / Fahrzeugkommunikation Verzögerungs- und unterbrechungstolerante Netze Drahtlose Sensornetze + Ad-hoc Netze Dienstgüte Adaptive Medienübertragung / Streaming ad hoc Lehre: Vertiefungen im Umfeld „Computer Networking“  Studienrichtung: Kommunikation, Information und mobile verteilte Systeme (KIS) 20.10.2014 Department Informatik 4 4 4

Department Informatik Verteilte Systeme Kapitza N.N. 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 Request Reply Prepare Commit Update Passive Replica Active Replicas 20.10.2014 Department Informatik 5

Department Informatik Computergraphik Magnor 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 20.10.2014 Department Informatik 6 6

Informationssysteme Geo-Informationssysteme Personalisierte Suche 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 Department Informatik 20.10.2014 Relational Database Systems 2 10.04.2012 Department Informatik 7/43 7 7 7

Department Informatik Softwaretechnik und Fahrzeuginformatik Schaefer Variabilität und Evolution 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 20.10.2014 Department Informatik 8 8 8 8 8

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

Programmierung und Reaktive Systeme Goltz Balke 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 20.10.2014 Department Informatik 10

Robotik und Prozessinformatik Industrierobotik Computer-Vision Medizinrobotik 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 Lehre Robotik I Robotik II Robotikpraktikum Digitale Bildverarbeitung 3D-Computersehen 20.10.2014 Department Informatik 11

Department Informatik Theoretische Informatik Alan Turing Adámek 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 Bachelor-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 12

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

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