Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Institution

Druckansicht

Max-Planck-Institut für Informatik

Adresse Campus Geb. E 1.4
66123 Saarbrücken
Deutschland

GERiT Diese Institution in GERiT

66123 Saarbrücken

Projekte

Schwerpunktprogramme
- abgeschlossene Projekte
Sachbeihilfen
- abgeschlossene Projekte
  - Analyse von Wirkungszusammenhängen bei der Medikamentenentwicklung
    (Antragsteller Lengauer, Thomas )
  - Computergestütztes Templatedesign: de novo-Entwurf und rationale Optimierung
    (Antragsteller Kämper, Andreas )
  - Kristallstrukturvorhersage basierend auf Datenbankauswertung
    (Antragsteller Lengauer, Thomas )
  - Maschinelles Lernen zur Funktionsvorhersage für Proteine im großen Maßstab
    (Antragsteller Lengauer, Thomas )
  - Moderne Komplexitätsaspekte formaler Sprachen
    (Antragsteller Fernau, Henning )
  - Molekulare Mechanismen des Therapie-Escape durch Resistenzmuster innerhalb der Hepatitis C Virus NS3-Protease
    (Antragsteller Welsch, Christoph )
  - SMArT // Satisfiability modulo Arithmetik und Theorien
    (Antragsteller Sagraloff, Michael )
Sonderforschungsbereiche
- abgeschlossene Projekte
  - Beleuchtungssimulation in nicht-diffusen Umgebungen
    (Teilprojektleiter Seidel, Hans-Peter ; Slusallek, Philipp )
  - Identifikation und Bewertung persönlicher Daten für Privacy Awareness
    (Teilprojektleiter Dittrich, Jens ; Weikum, Gerhard )
  - Modellierung von amorphen Festkörpern auf der Basis von Graphen
    (Teilprojektleiter Lengauer, Thomas )
  - Privacy-freundliche digitale Aufnahmen
    (Teilprojektleiter Druschel, Ph.D., Peter ; Schiele, Bernt )
  - Privacy Implikationen durch Verbreitung visueller Daten
    (Teilprojektleiter Fritz, Mario ; Schiele, Bernt )
  - Semantische und statistische Linkbarkeit
    (Teilprojektleiter Backes, Michael ; Weikum, Gerhard )
  - SFB 1223: Methoden und Instrumente zum Verständnis und zur Kontrolle von Datenschutz
    (Sprecher Backes, Michael )
Klinische Forschungsgruppen
- abgeschlossene Projekte
  - Bioinformatische Struktur- und Interaktionsanalysen bei HCV
    (Antragsteller Albrecht, Mario )
  - Bioinformatische und -statistische HCV-Sequenzanalyse
    (Antragsteller Welsch, Christoph )
Transregios
- laufende Projekte
  - Beschreibungslogische Erklärungen
    (Teilprojektleiter Baader, Franz ; Borgwardt, Stefan ; Krötzsch, Markus ; Krüger, Antonio ; Weidenbach, Christoph )
- abgeschlossene Projekte
  - Automatisierte Verifikation kooperierender Verkehrssysteme
    (Teilprojektleiterinnen / Teilprojektleiter Althaus, Ernst ; Damm, Werner ; Olderog, Ernst-Rüdiger ; Scholl, Christoph ; Sofronie-Stokkermans, Viorica ; Waldmann, Uwe )
  - Constraint-basierte Verfikation hybrider Systeme
    (Teilprojektleiter Althaus, Ernst ; Becker, Bernd ; Fränzle, Martin ; Weidenbach, Christoph )
  - Deduction and Automata Based Approaches
    (Teilprojektleiter Ganzinger, Harald )
  - Dynamische Kommunikationssysteme
    (Teilprojektleiter Damm, Werner ; Finkbeiner, Bernd ; Hermanns, Holger ; Podelski, Andreas ; Weidenbach, Christoph )
  - Logik-basierte, verständliche Supervision zur Laufzeit
    (Teilprojektleiter Fetzer, Christof ; Krötzsch, Markus ; Weidenbach, Christoph )
  - TRR 14: AVACS - Automatische Verifikation und Analyse komplexer Systeme
    (Sprecher Damm, Werner )
  - Über Realzeitautomaten hinaus
    (Teilprojektleiterinnen / Teilprojektleiter Finkbeiner, Bernd ; Fränzle, Martin ; Olderog, Ernst-Rüdiger ; Podelski, Andreas ; Sofronie-Stokkermans, Viorica )
  - Zeitanalyse, Scheduling und Verteilung von Echtzeittasks
    (Teilprojektleiter Althaus, Ernst ; Damm, Werner ; Hack, Sebastian ; Reineke, Jan ; Wilhelm, Reinhard )
Heisenberg-Stipendien
- abgeschlossene Projekte
  - Exakte Analyse von Heuristiken
    (Antragsteller Coja-Oghlan, Amin )
Graduiertenkollegs
- laufende Projekte
  - GRK 2853: Neuroexplizite Modelle für Sprachverarbeitung, Bilderkennung und Aktionsentscheidungen
    (Sprecher Koller, Alexander )
- abgeschlossene Projekte
  - GRK 623: Leistungsgarantien für Rechnersysteme
    (Sprecher Seidel, Raimund )
Graduiertenschulen
- abgeschlossene Projekte
  - GSC 209: Saarbrücker Graduiertenschule für Informatik
    (Sprecher Seidel, Raimund )
Exzellenzcluster
- abgeschlossene Projekte
  - EXC 284: Multimodal Computing and Interaction. Robust, Efficient and Intelligent Processing of Text, Speech, Visual Data and High Dimensional Representations
    (Sprecher Seidel, Hans-Peter )

Untergeordnete Institutionen

© 2024 DFG Kontakt / Impressum / Datenschutz