Upload
maud-rast
View
118
Download
0
Embed Size (px)
Citation preview
Herzlich Willkommen an der TU Braunschweig
Prof. Dr. Wolf-Tilo Balke
Begrüßung der neuen Informatik-Studierenden
- Wintersemester 2012/13 -
Die Institute der Informatik
Department Informatik15.10.2012 3/45
IBR - Algorithmik
Diskrete Algorithmen Netzwerkalgorithmen,
Online-Algorithmen,…
Verteilte Algorithmen Sensornetze,
Fahrzeugschwärme,…
Algorithmische Geometrie Roboternavigation,
Packalgorithmen,…
Algorithmische Anwendungen Hardware, Logistik,
Computernetze, etc.
Fekete
Department Informatik15.10.2012 4/45
IBR - Kommunikation und Multimedia
Kommunikation für & mit realer Welt Telematik / Fahrzeugkommunikation Verzögerungs- und
unterbrechungstolerante Netze Drahtlose Sensornetze + Ad-hoc Netze Dienstgüte Adaptive Medienübertragung / Streaming
Lehre: Vertiefungen im Umfeld „Computer Networking“
Studienrichtung: Kommunikation, Information und mobile verteilte Systeme (KIS)
ad hoc
Wolf
Display Panel
SMOG
Gateway
Vehicle Nodes
PassengersTourists
Residents
Department Informatik15.10.2012 5/45
IBR – 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
Department Informatik15.10.2012 6/45
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
Department Informatik15.10.2012 7/4510.04.2012 Department Informatik 7/43
6. April 2010 Masterstudiengang Informatik
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
Department Informatik15.10.2012 8/45
Softwaretechnik und Fahrzeuginformatik
Schaefer
Department Informatik15.10.2012 9/45
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
Department Informatik15.10.2012 10/45
Niedersächsischer Forschungsverbund Gestaltung altersgerechter Lebenswelten
Informations- und Kommunikationstechnik zur Gewinnung und Aufrechterhaltung von Lebensqualität, Gesundheit und Selbst-bestimmung in der zweiten Lebenshälfte
U.a. drei Informatik-Institute der TU Braunschweig beteiligt Ziel: Lebensqualität in der alternden Gesellschaft
Selbständigkeit in den "eigenen vier Wänden“ Entwicklung von Assistenzsystemen für ältere
Menschen, Angehörige und Betreuungspersonen Identifikation von Gefährdungen Unterstützung der Versorgungsstrukturen
www.altersgerechte-lebenswelten.de
Haux Wahl Wolf
Department Informatik15.10.2012 11/45
IPS - 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
Goltz
Department Informatik15.10.2012 12/45
iRP – Robotik und Prozessinformatik
Parallelkinematiken (SFB 562)
Robotersteuerungs-architekturen
Montageplanung
Mobile Robotik
Tiefendatensensorik
Objekterkennung
3D-Registrierung
Raumüberwachung
Fahrerassistenzsysteme
Computergestützte Knochenreponierung
Robotergeführte Endoskopie
Biomechanische Modelle des Schädels
Industrierobotik Computer-VisionMedizinrobotik
Federführung: Prof. Dr.-Ing. F. Wahl
Turnus: jährlich beginnend im Wintersemester
Robotik I
Robotik II
Robotikpraktikum
Medizinrobotik
Digitale Bildverarbeitung
3D-Computersehen
Bildverarbeitungspraktikum
Studienrichtung Robotik Robotik Computervision
For
schu
ngLe
hre
Wahl
Department Informatik15.10.2012 13/45
ITI – Theoretische Informatik
Algebraische und koalgebraische Semantik Theorie zustandsbasierter Systeme Rekursion und Iteration Spezifikation und Äquivalenz von Systemen
Formale Verifikation Modellierung sicherheitskritscher Systeme Automatische Prüfung von Eigenschaften
Kryptographie und Kodierungstheorie Kryptographische Protokolle Fehlerkorrigierende Codes
Adámek
Department Informatik15.10.2012 14/45
E.I.S. - 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
Lehre
Chip- und System-EntwurfPraktikum ISTVLSI DesignHWSW-SystemePraktikum Adaptive RechnerPraktikum Home AutomationHW-SW-Codesign mit SystemCTeamprojektSeminar
Berekovic
Department Informatik15.10.2012 15/45
WiRe - 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