Go directly to content Go directly to font size and contrast

Project Details

Person

Print View

Privatdozent Dr.-Ing. Swen Jacobs

Address CISPA - Helmholtz-Zentrum für Informationssicherheit
Stuhlsatzenhaus 5
66123 Saarbrücken

ORCID-ID 0000-0002-9051-4050

Projects

As Applicant
- Current projects
  - Global Synchronization Protocols and Proving their Correctness (GSP&Co) (Research Grants)
  - Advancing Formal Methods to Support the Creation of Novel, Homogeneous and Hybrid Resilient Distributed Systems and Technologies (Research Grants)
- Completed projects
  - Automatic Synthesis of Distributed and Parameterized Systems (Research Grants)

© 2024 DFG Disclaimer / Copyright / Privacy Policy