Die Lehrenden der Informatik

Transkript

1 Die Lehrenden der Informatik an der Ruprecht-Karls-Universität Heidelberg Oktober 2015

2 Die Lehrenden der Informatik

3 Arbeitsschwerpunkte Kerninformatik IfI, Institut für Informatik Vertiefungen: Information Systems Engineering, Optimierung Technische Informatik (Vertiefung) ZITI, Institut für Technische Informatik Wissenschaftliches Rechnen (Vertiefung) IWR, Interdisziplinäres Zentrum für Wissenschaftliches Rechnen Bildverarbeitung HCI, Heidelberg Collaboratory for Image Processing Vertiefung: Bildverarbeitung (nur im Master) Computergrafik (Vertiefung) IWR und HGS MathComp, Heidelberg Graduate School Vertiefung: Computergrafik und Visualisierung

4 Prof. Dr. Klaus Ambos- Spies Priv.-Doz. Dr. Wolfgang Merkle Mathematische Logik und Theoretische Informatik Die Arbeitsgruppe forscht zu Grundlagenfragen der Mathematik und Informatik. Schwerpunkte liegen in der Berechenbarkeits- und Komplexitätstheorie sowie der Logik. Aktuelle Forschungsthemen: - Grenzen der algorithmischen Methode: unlösbare und schwer lösbare Probleme - Algorithmische Aspekte des Zufallsbegriffs - Mathematische Logik (MB9) - Formale Sprachen und Automatentheorie (IFSA) - Berechenbarkeit und Komplexität I (MH14) - Berechenbarkeit und Komplexität II (MH15) - Randomisierte Algorithmen (IRA)

5 Prof. Dr. Artur Andrzejak Parallele und Verteilte Systeme (PVS) Die Gruppe widmet sich den verteilten und parallelen Systemen mit Schwerpunkten: - Verlässlichkeit und Debugging von Softwaresystemen - Parallele Analyse von Daten - Betriebssysteme und Netzwerke - Parallel Data Analysis and Processing - Verteilte Systeme I - Seminare 5

6 Prof. Dr. Michael Gertz Datenbanksysteme In der Arbeitsgruppe entwickeln wir Modelle, Techniken und Systeme zur Analyse wissenschaftlicher und textueller Daten mit einem Schwerpunkt auf Raum- und Zeitinformationen. Einige aktuelle Forschungsthemen: - Analyse in sozialen Netzwerken - Data Mining auf raum- und zeitbezogene Daten - Event-Erkennung aus Datenströmen (z.b. Twitter) - Text Mining und Information Retrieval - Datenbanken I - Räumliche Datenbanken - Knowledge Discovery in Databases (WS 15/16) - Data Warehousing - Social Network Analysis - Seminar zu Data Mining und Text Mining 6

7 Prof. Dr. Barbara Paech Software Engineering In der Arbeitsgruppe untersuchen wir Methoden, ingenieurmäßige Prinzipien und Werkzeuge, um große Software im Team mit hoher Qualität zu entwickeln. Aktuelle Forschung: - Wissensmanagement und Requirements Engineering - Engineering wissenschaftlicher Software - Engineering medizinischer Software - Einführung in Software Engineering - Requirements Engineering - Qualitätsmanagement - Seminar, ISE-Praktikum, Anfängerund Fortgeschrittenenpraktikum 7

8 Prof. Dr. Gerhard Reinelt Diskrete und Kombinatorische Optimierung Entwicklung, Analyse und Implementierung von Algorithmen für diskrete und kombinatorische Optimierungsprobleme -Approximative Algorithmen -Verfahren zur Bestimmung von Optimallösungen - Effiziente Algorithmen I + II - Mixed-Integer Programming - Algorithmen und Datenstrukturen - Compiler 8

9 Prof. Dr.sc.techn. Essam Badreddin Automation Der Lehrstuhl befasst sich mit folgenden Themen in Forschung und Prozesssteuerung & Regelung z.b. Wasserentsalzung mittels erneuerbaren Energien Verlässliche Robotik & autonome Systeme z.b. Chirurgie-,Rehabilitationund mobile Roboter Adaptive Mensch-Technik Interaktion z.b. Fahrerassistenzsysteme 9

10 Prof. Dr. Karl- Heinz Brenner Optoelektronik (K.-H. Brenner ist z.z. Studiendekan für Technische Informatik) Forschungsthemen: - Mikro- und Nanooptische Komponenten und Systeme - Simulation optischer Feldverteilungen Optimierung der Lichtabsorption in Detektoren Optimierte Phasenelemente für die parallele Mikroskopie - Physikalische Grundlagen der Technischen Informatik (SS) - Electrical and Optical Communication (Dr. D. Wohlfeld) (WS) - Computational Optics (WS) - Introduction to Photonics (WS) - Vorlesungsbeginn am , Details siehe oe.ziti.uni-heidelberg.de -

11 Prof. Dr. Ulrich Brüning Rechnerarchitektur Forschungsbereiche: - Entwurf komplexer HW/SW Systeme - Operationsprinzipien und Technologie - Entwurfsraumanalysen - Hardwareentwurf von Prozessoren und Devices - Verbindungsnetzwerke - Software-Treiberentwicklung - Cluster computing basierend auf PC Technologie - Ziel: laufähige Prototypen - Rechnerarchitektur 1 + 2, - Hardware Entwurf und Simulation - Semi Custom Design Flow - Master TI: Chip Engineering 11

12 Prof. Dr. Peter Fischer Schaltungstechnik und Simulation Die Gruppe entwickelt Elektronik-Mikrochips und Sensoren für Teilchen- und Photonenstrahlung. Anwendungsbereiche sind z.b.: - Grundlagenforschung in der Physik (CBM, Belle) - Experimente mit Synchrotronstrahlung (XFEL, ESRF) - Medizintechnik (PET, PET-MRI) - Digitale Schaltungstechnik (BScAI) - Components, Circuits & Sim. (MScTI) - VLSI Design (MScTI) - Fortgeschrittene Schaltungen (MScTI) - Tools (MSc TI) - Silizium-Sensoren & Elektronik (MSc Phys&TI) 12

13 Prof. Dr. Holger Fröning Juniorprofessor für Technische Informatik - Communication-centric heterogeneous computing systems for improved performance and energy efficiency - Specialized communication models and bulksynchronous parallel (BSP) abstractions - Research efforts cover hardware design, low-level software, libraries and runtimes - Recent sponsors: German Excellence Initiative, Nvidia, Google, Xilinx, EU 7 th Framework - Nvidia CUDA Research and Teaching Center Teaching: - GPU Computing (WS) - Introduction to High Performance Computing (WS) - Advanced Parallel Computing (SS) - Advanced Seminar Computer Engineering (WS) Specialized network device GPU Computing to improve performance and energy efficency 13

14 Prof. Dr. Peter Bastian Wissenschaftliches Rechnen Wir befassen uns mit numerischen Methoden für Höchstleistungsrechner, insbesondere - Numerik partieller Differentialgleichungen - Softwareentwurf im Wissenschaftlichen Rechnen - Parallele Algorithmen - Anwendungen, etwa Transportprozesse in porösen Medien, Signalleitung in Neuronen - Numerik Grundausbildung (Numerik 0,1,2) - Paralleles Rechnen - Simulationswerkzeuge - Softwarepraktikum Wissenschaftliches Rechnen 14

15 Prof. Dr. Dr. h.c. Hans Georg Bock Simulation und Optimierung Der Lehrstuhl entwickelt mathematische Methoden, um komplexe zeitabhängige Prozesse zu simulieren und zu optimieren. - Numerik Grundausbildung (Numerik 0,1,2) 15

16 Prof. Dr. Vincent Heuveline Engineering Mathematics and Computing Lab (EMCL) Wir befassen uns mit der numerischen Simulation und Optimierung auf Höchstleistungsrechner: - Numerik partieller Differentialgleichungen - Hardware-orientierte Numerik - Parallele und verteilte numerische Simulation - Uncertainty Quantification (UQ) - Anwendungen: Medizin, Biowissenschaften, Meteorologie und Klimaforschung - Numerik Grundausbildung (Numerik 0,1,2) - Hardware-orientierte Numerik - Software-Design für das Hochleistungsrechnen - Uncertainty Quantification (UQ) 16

17 Prof. Dr. Guido Kanschat Mathematische Methoden der Simulation Simulationsmethoden für Kontinuumsprobleme - Beispiele: Strahlungstransport, gekoppelte Strömungsprobleme - Diskretisierung partieller Differentialgleichungen, finite Elemente - Effiziente Lösungsmethoden - Software zur Simulation in C++ -Numerik Grundausbildung (Numerik 0,1,2) - Seminar Multicore und GPU-Computing - Einführung in die deal.ii Software - Seminar zur Approximationstheorie 17

18 Prof. Dr. Katja Mombaur Optimierung in Robotik & Biomechanik Wir beschäftigen uns mit der Modellierung, Simulation und Optimierung anthropomorpher Systeme, um - zu verstehen, nach welchen Gesetzen der Mensch sich bewegt (Anwendungen in Medizin, Sport, Psychologie,...) - Bewegungen humanoider Roboter zu verbessern - realistische Bewegungen für Animationsfilme zu erzeugen - Robotikpraktikum - Numerik-Grundausbildung - Seminare und Vorlesungen - in Robotik & Biomechanik 18

19 PD Dr. Christoph Garbe Bildverarbeitung und Modellierung Wir befassen und mit Transportprozessen in den Umwelt- und Lebenswissenschaften. Dabei entwickeln wir bildverarbeitende Methoden in Kombination mit Transportmodellen. Aktuelle Forschungsthemen: - Bildverarbeitung und Bildsequenzanalyse - Parameterschätzung und Optimierung -Transport von Saharastaub und Spurengasen mittels Satellitenfernerkundung - Transportprozesse in fluiddynamischen Systemen, wie Atmosphäre-Ozean Prozesse und Mikrofluidik - Algorithmen und Datenstrukturen - Software- und Projektpraktika 19

20 Prof. Dr. Fred Hamprecht Multidimensionale Bildverarbeitung Weltweit werden heute riesige Datenmengen erzeugt, in der Welt der Finanzen und beim Film genauso wie in Naturwissenschaft und Technik. Wir entwickeln neue Verfahren, um aus diesen Datenbergen interessante Informationen zu extrahieren, insbesondere mit dem Schwerpunkt Bildverarbeitung. - Image processing - Pattern recognition - Algorithms and data structures - Praktika 20

21 Prof. Dr. Jürgen Hesser Experimentelle Strahlentherapie Forschungsthemen: - Inverse Probleme in Computational Physics und Bildverarbeitung - Modellierung und Simulation in der Medizin - Instrumentierung - Visualisierung medizinischer Daten - Medical Image Processing - Volume Visualization - Inverse Problems - Computer Games

22 Prof. Dr. Bernd Jähne Digitale Bildverarbeitung Bildaufnehmende Messmethoden werden in allen Gebieten der Wissenschaft und Technik eingesetzt. Wir entwickeln dafür Bildaufnahmeverfahren und Bildanalysemethoden. - Signal- und Bildverarbeitung - Physics of Imaging - Image Sensors & Computational Photography - Bildfolgenanalyse 22

23 Dr. Susanne Krömker Visualisierung und Numerische Geometrie In unserer Arbeitsgruppe befassen wir uns mit - Topologische Methoden zu Datenreduktion - Vergleich von Tomographie- und Oberflächendaten - Rekonstruktion der Geometrie von Objekten aus Scans von Mittel- und Nahbereich - Visualisierung im Bereich Cultural Heritage Lehre im WS 15/16: - Computergraphik I - Softwarepraktikum Computergraphik - Hauptseminar Computergraphik und Visualisierung (zusammen mit H. Mara, F. Sadlo) 23

24 Prof. Dr. Björn Ommer Computer Vision Forschung: - Entwicklung von Algorithmen, mit denen wir Computern das Sehen beibringen Computer Vision - Erkennung von Objekten in Bildern und Videos - Detektion von Aktionen in Videos Surveillance Vorlesungen, Seminare, Praktika zu: - Computer Vision - Object Recognition & Image Understanding - Pattern Recognition - Image Processing 24

25 Prof. Dr. Filip Sadlo Visual Computing Wir befassen uns mit der Entwicklung grafikorientierter Analysetechniken, insbesondere - Visualisierung von Vektorfeldern - Volumenrendering - Visualisierung physikalischer Phänomene - Visualisierung in der Simulation - Wissenschaftliche Visualisierung - Geometric Modeling and Animation - Seminare zu Visualisierung 25

26 Prof. Dr. Christoph Schnörr Bildverarbeitung und Mustererkennung Forschung: Mathematische Modellierung und Algorithmenentwurf für die Bildverarbeitung und Mustererkennung - Bildverarbeitung, Computer Vision - Mustererkennung und Graphische Modelle Heidelberg Collaboratory for Image Processing Graduiertenkolleg: Probabilistic Graphical Models and Applications in Image Analysis 26