Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

Max-Planck-Institut für Informatik

Address Campus Geb. E 1.4
66123 Saarbrücken
Deutschland

GERiT This institution in GERiT

66123 Saarbrücken

Projects

Priority Programmes
- Completed projects
Research Grants
- Completed projects
  - Analyse von Wirkungszusammenhängen bei der Medikamentenentwicklung
    (Applicant Lengauer, Thomas )
  - Computergestütztes Templatedesign: de novo-Entwurf und rationale Optimierung
    (Applicant Kämper, Andreas )
  - Crystal structure prediction by data mining
    (Applicant Lengauer, Thomas )
  - Maschinelles Lernen zur Funktionsvorhersage für Proteine im großen Maßstab
    (Applicant Lengauer, Thomas )
  - Modern Aspects of Complexity of Formal Languages
    (Applicant Fernau, Henning )
  - Molecular escape mechanisms due to patterns of resistance-associated amino acid variants in the hepatitis C virus NS3 protease
    (Applicant Welsch, Christoph )
  - SMArT // Satisfiability Modulo Arithmetic and Theories
    (Applicant Sagraloff, Michael )
Collaborative Research Centres
- Completed projects
  - Beleuchtungssimulation in nicht-diffusen Umgebungen
    (Project Heads Seidel, Hans-Peter ; Slusallek, Philipp )
  - Modellierung von amorphen Festkörpern auf der Basis von Graphen
    (Project Head Lengauer, Thomas )
  - Personal Information for Privacy Awareness
    (Project Heads Dittrich, Jens ; Weikum, Gerhard )
  - Privacy Implications of Visual Data Dissemination
    (Project Heads Fritz, Mario ; Schiele, Bernt )
  - Privacy-Preserving Digital Capture
    (Project Heads Druschel, Ph.D., Peter ; Schiele, Bernt )
  - Semantic and Statistical Linkability
    (Project Heads Backes, Michael ; Weikum, Gerhard )
  - SFB 1223: Methods and Tools for Understanding and Controlling Privacy
    (Spokesperson Backes, Michael )
Clinical Research Units
- Completed projects
  - Bioinformatische Struktur- und Interaktionsanalysen bei HCV
    (Applicant Albrecht, Mario )
  - Bioinformatische und -statistische HCV-Sequenzanalyse
    (Applicant Welsch, Christoph )
CRC/Transregios
- Current projects
  - Description Logic Explications
    (Project Heads Baader, Franz ; Borgwardt, Stefan ; Krötzsch, Markus ; Krüger, Antonio ; Weidenbach, Christoph )
- Completed projects
  - Automated Verification of Cooperating Traffic Agents
    (Project Heads Althaus, Ernst ; Damm, Werner ; Olderog, Ernst-Rüdiger ; Scholl, Christoph ; Sofronie-Stokkermans, Viorica ; Waldmann, Uwe )
  - Beyond Timed Automata
    (Project Heads Finkbeiner, Bernd ; Fränzle, Martin ; Olderog, Ernst-Rüdiger ; Podelski, Andreas ; Sofronie-Stokkermans, Viorica )
  - Constaint-based Verification for Hybrid Systems
    (Project Heads Althaus, Ernst ; Becker, Bernd ; Fränzle, Martin ; Weidenbach, Christoph )
  - Deduction and Automata Based Approaches
    (Project Head Ganzinger, Harald )
  - Dynamic Communication Systems
    (Project Heads Damm, Werner ; Finkbeiner, Bernd ; Hermanns, Holger ; Podelski, Andreas ; Weidenbach, Christoph )
  - Logic-Based Perspicuous Run-Time Supervision
    (Project Heads Fetzer, Christof ; Krötzsch, Markus ; Weidenbach, Christoph )
  - Timing Analysis, Scheduling and Distribution of Real-Time Tasks
    (Project Heads Althaus, Ernst ; Damm, Werner ; Hack, Sebastian ; Reineke, Jan ; Wilhelm, Reinhard )
  - TRR 14: Automatic Verification and Analysis of Complex Systems
    (Spokesperson Damm, Werner )
Heisenberg Fellowships
- Completed projects
  - Exakte Analyse von Heuristiken
    (Applicant Coja-Oghlan, Amin )
Research Training Groups
- Current projects
  - GRK 2853: Neuroexplicit models of language, vision, and action
    (Spokesperson Koller, Alexander )
- Completed projects
  - GRK 623: Quality Guarantees for Computer Systems
    (Spokesperson Seidel, Raimund )
Graduate Schools
- Completed projects
  - GSC 209: Saarbrücken Graduate School of Computer Science
    (Spokesperson Seidel, Raimund )
Clusters of Excellence
- Completed projects
  - EXC 284: Multimodal Computing and Interaction - Robust, Efficient and Intelligent Processing of Text, Speech, Visual Data and High Dimensional Representations
    (Spokesperson Seidel, Hans-Peter )

Subinstitutions

© 2024 DFG Disclaimer / Copyright / Privacy Policy