Begrüßung der neuen Informatik-Studierenden zum Wintersemester 2014/15

Präsentation zum Thema: "Begrüßung der neuen Informatik-Studierenden zum Wintersemester 2014/15"—  Präsentation transkript:

1 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)

2 Die Institute der Informatik

3 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 Department Informatik 3

4 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) Department Informatik 4 4 4

5 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 Department Informatik 5

6 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 Department Informatik 6 6

7 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 Relational Database Systems 2 Department Informatik 7/43 7 7 7

8 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 Department Informatik 8 8 8 8 8

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

10 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 Department Informatik 10

11 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 Department Informatik 11

12 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 Department Informatik 12

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

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