SSE – Software Systems Engineering Vision: Verbesserung des Software-Entwicklungsprozesses Sommersemester 2010: Seminar „Requirements Engineering“ Requirements Engineering und Projektmanagement 2+1 Software Engineering Management 1+2 Kolloquium + SWT vertiefendes Praktikum = Projektleitung im SEP Herrmann ? 6. April 2010 6. April 2010 Masterstudiengang Informatik Masterstudiengang Informatik 1 1
IBR - Kommunikation und Multimedia Kommunikation für & mit realer Welt Telematik / Fahrzeugkommunikation Verzögerungs- und unterbrechungstolerante Netze Drahtlose Sensornetze und Ad-hoc Netze Wolf ad hoc Verteilte Multimedia Systeme Dienstgüte Adaptive Medienübertragung / Streaming Mehrparteienspiele 6. April 2010 Masterstudiengang Informatik 2
iRP – Robotik und Prozessinformatik Industrierobotik Medizinrobotik Computer-Vision Parallelkinematiken (SFB 562) Robotersteuerungs-architekturen Montageplanung Mobile Robotik Computergestützte Knochenreponierung Robotergeführte Endoskopie Biomechanische Modelle des Schädels Tiefendatensensorik Objekterkennung 3D-Registrierung Raumüberwachung Fahrassistenzsysteme Forschung Studienrichtung Robotik Robotik Computervision Federführung: Prof. Dr.-Ing. F. Wahl Turnus: jährlich beginnend im Wintersemester Robotik I Robotk II Robotikpraktikum Digitale Bildverarbeitung 3D-Computersehen Bildverarbeitungspraktikum Lehre 6. April 2010 Masterstudiengang Informatik
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ámek 6. April 2010 Masterstudiengang Informatik 4
ITI – Theoretische Informatik Semantik der Rekursion durch Koalgebren Gemeinsames Dach für verschiedene Zugänge zu Semantik und Rekursion Grundlegendes Verständnis für konzeptionelle Mechanismen in Rekursionssemantik Adámek 6. April 2010 Masterstudiengang Informatik 5
E.I.S. - Entwurf Integrierter Schaltungen Golze 6. April 2010 Masterstudiengang Informatik
IPS - Programmierung und Reaktive Systeme Grundlagen für software-intensive eingebettete Systeme Modellbasierte Entwicklung Struktur und Verhalten Echtzeit Softwarequalität Formale Methoden Architekturbewertung Validierung und Verifikation Goltz 6. April 2010 Masterstudiengang Informatik
IBR - Verteilte und Ubiquitäre Systeme Ubiquitous Computing Einbettung von Computern in die reale Welt Miniatur-Sensorsysteme Kontext-, Aktivitätserkennung Mensch-Maschine-Interaktion Selbstorganisierende Systeme Verteilte Sensornetze Webbasierte Systeme Sensornetze RFID Anwendungen Logistik, Raumfahrt, Automobil,… zusammen mit Keio, Lancaster University,… EADS, VW, DB, Infineon, SAP…. Beigl 6. April 2010 Masterstudiengang Informatik
Masterstudiengang Informatik IBR - Algorithmik Fekete Diskrete Algorithmen Netzwerkalgorithmen, Online-Algorithmen,… Verteilte Algorithmen Sensornetze, Fahrzeugschwärme,… Algorithmische Geometrie Roboternavigation, Packalgorithmen,… Algorithmische Anwendungen Hardware, Logistik, Computernetze, etc. 6. April 2010 Masterstudiengang Informatik
Masterstudiengang Informatik 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 6. April 2010 Masterstudiengang Informatik 10
IfIS - Informationssysteme Alles über Datenbanken Der Mensch im Mittelpunkt der Daten Relationale DBS, GIS, Bio-Information,… Personalisierter Informationszugang und Digitale Bibliotheken Benutzermodellierung, Kognition und das Semantic Web Balke 6. April 2010 Masterstudiengang Informatik 11
WiRe - 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 6. April 2010 Masterstudiengang Informatik 12
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 6. April 2010 Masterstudiengang Informatik 13