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

Detailseite

Institution

Druckansicht

Max-Planck-Institut für Softwaresysteme

Adresse Campus E1 4
66123 Saarbrücken
Deutschland

GERiT Diese Institution in GERiT

66123 Saarbrücken

Projekte

Sachbeihilfen
- abgeschlossene Projekte
  - Automatisierte Verifikation und Synthese von Approximationen
    (Antragstellerin Darulova, Ph.D., Eva )
  - Robustheit gegenüber schwachen Speichermodellen
    (Antragsteller Meyer, Roland )
  - RT-proofs: Formale Beweise für Echtzeitsysteme
    (Antragsteller Brandenburg, Ph.D., Björn ; Ernst, Rolf )
Emmy Noether-Nachwuchsgruppen
- laufende Projekte
  - Vertrauenswürdiges verstärkendes Lernen für Multi-Agenten-Systeme: Grundlagen von robuster und verantwortungsbewusster Entscheidungsfindung
    (Antragsteller Radanovic, Ph.D., Goran )
  - Vollautomatisierte hierarchische und dezentrale Reglersynthese für Cyber-Physikalische Systeme
    (Antragstellerin Schmuck, Anne-Kathrin )
Forschungsgruppen
- laufende Projekte
  - FOR 5368: KI-FOR Abstrakte Repräsentationen in neuronalen Architekturen (ARENA)
    (Sprecher Fiebach, Christian )
  - Semantische Abstraktionen im menschlichen Gehirn und in KI-Modellen der natürlichen Sprachverarbeitung
    (Antragstellerin Toneva, Ph.D., Mariya )
Schwerpunktprogramme
- abgeschlossene Projekte
  - Informationsflusskontrolle für Browser Clients
    (Antragsteller Garg, Ph.D., Deepak ; Hammer, Christian )
Sonderforschungsbereiche
- abgeschlossene Projekte
  - Privacybedrohungen in sozialen Netzwerken
    (Teilprojektleiter Gomez-Rodriguez, Ph.D., Manuel ; Gummadi, Ph.D., Krishna )
  - Privacyfreundliche Datenanalyse
    (Teilprojektleiter Francis, Ph.D., Paul ; Maffei, Ph.D., Matteo )
  - Privacy-freundliche digitale Aufnahmen
    (Teilprojektleiter Druschel, Ph.D., Peter ; Schiele, Bernt )
  - Programmierprinzipien und Abstraktionen für Privacy
    (Teilprojektleiter Garg, Ph.D., Deepak ; Hammer, Christian )
  - SFB 1223: Methoden und Instrumente zum Verständnis und zur Kontrolle von Datenschutz
    (Sprecher Backes, Michael )
Transregios
- laufende Projekte
  - Dynamische, Hybride und Probabilistische Systeme: Verifikation & Erklärung
    (Teilprojektleiterinnen / Teilprojektleiter Baier, Christel ; Majumdar, Rupak ; Ouaknine, Joël )
  - Programmierabstraktionen für cyber-physische Systeme
    (Teilprojektleiter Finkbeiner, Bernd ; Gumhold, Stefan ; Majumdar, Rupak )
  - TRR 248: Grundlagen verständlicher Software-Systeme - für eine nachvollziehbare cyber-physische Welt
    (Sprecher Dachselt, Raimund ; Hermanns, Holger )
  - Verteiltes Wissen und Informationsfluss
    (Teilprojektleiterinnen / Teilprojektleiter Dachselt, Raimund ; Finkbeiner, Bernd ; Krötzsch, Markus ; Schmuck, Anne-Kathrin )
- abgeschlossene Projekte
  - Analyse und Erklärung dynamischer und hybrider Systeme
    (Teilprojektleiterinnen / Teilprojektleiter Baier, Christel ; Ouaknine, Joël )
  - Probabilistische Kausalität und Erklärungen
    (Teilprojektleiterinnen / Teilprojektleiter Baier, Christel ; Finkbeiner, Bernd ; Majumdar, Rupak )
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 )
Graduiertenkollegs
- laufende Projekte
  - GRK 2853: Neuroexplizite Modelle für Sprachverarbeitung, Bilderkennung und Aktionsentscheidungen
    (Sprecher Koller, Alexander )

Untergeordnete Institutionen

Forschungsgruppe Distributed, Networked & Mobile Systems

© 2024 DFG Kontakt / Impressum / Datenschutz