Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

Max-Planck-Institut für Softwaresysteme

Address Campus E1 4
66123 Saarbrücken
Deutschland

GERiT This institution in GERiT

66123 Saarbrücken

Projects

Research Grants
- Completed projects
  - Automated Rigorous Verification and Synthesis of Approximations
    (Applicant Darulova, Ph.D., Eva )
  - Robustness against Relaxed Memory Models (R2M2)
    (Applicant Meyer, Roland )
  - RT-proofs: Formal proofs for real-time systems
    (Applicants Brandenburg, Ph.D., Björn ; Ernst, Rolf )
Independent Junior Research Groups
- Current projects
  - Automated Modular Synthesis for Reliable Cyber Physical System Design
    (Applicant Schmuck, Anne-Kathrin )
  - Trustworthy Reinforcement Learning for Multi-Agent Systems: Foundations of Robust and Accountable Decision Making
    (Applicant Radanovic, Ph.D., Goran )
Research Units
- Current projects
  - Bridging Levels of Abstraction in Brains and Natural Language Processing Machines
    (Applicant Toneva, Ph.D., Mariya )
  - FOR 5368: KI-FOR Abstract Representations in Neural Architectures (ARENA)
    (Spokesperson Fiebach, Christian )
Priority Programmes
- Completed projects
  - Information Flow Control for Browser Clients
    (Applicants Garg, Ph.D., Deepak ; Hammer, Christian )
Collaborative Research Centres
- Completed projects
  - Privacy-Friendly Data Analytics
    (Project Heads Francis, Ph.D., Paul ; Maffei, Ph.D., Matteo )
  - Privacy-Preserving Digital Capture
    (Project Heads Druschel, Ph.D., Peter ; Schiele, Bernt )
  - Privacy Threats in Social Networks
    (Project Heads Gomez-Rodriguez, Ph.D., Manuel ; Gummadi, Ph.D., Krishna )
  - Programming Principles and Abstractions for Privacy
    (Project Heads Garg, Ph.D., Deepak ; Hammer, Christian )
  - SFB 1223: Methods and Tools for Understanding and Controlling Privacy
    (Spokesperson Backes, Michael )
CRC/Transregios
- Current projects
  - Distributed Knowledge and Information Flow
    (Project Heads Dachselt, Raimund ; Finkbeiner, Bernd ; Krötzsch, Markus ; Schmuck, Anne-Kathrin )
  - Dynamical, Hybrid, and Probabilistic Systems: Verification & Explication
    (Project Heads Baier, Christel ; Majumdar, Rupak ; Ouaknine, Joël )
  - Programming Abstractions for Cyber-Physical Systems
    (Project Heads Finkbeiner, Bernd ; Gumhold, Stefan ; Majumdar, Rupak )
  - TRR 248: Foundations of Perspicuous Software Systems - Enabling Comprehension in a Cyber-Physical World
    (Spokespersons Dachselt, Raimund ; Hermanns, Holger )
- Completed projects
  - Analysing and Explicating Dynamical and Hybrid Systems
    (Project Heads Baier, Christel ; Ouaknine, Joël )
  - Probabilistic Causality and Explications
    (Project Heads Baier, Christel ; Finkbeiner, Bernd ; Majumdar, Rupak )
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 )
Research Training Groups
- Current projects
  - GRK 2853: Neuroexplicit models of language, vision, and action
    (Spokesperson Koller, Alexander )

Subinstitutions

Forschungsgruppe Distributed, Networked & Mobile Systems

© 2024 DFG Disclaimer / Copyright / Privacy Policy