Privatdozent Dr.-Ing. Swen Jacobs

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

ORCID-ID 0000-0002-9051-4050

Projekte

Als Antragsteller
- laufende Projekte
  - Globale Synchronisationsprotokolle und der Beweis ihrer Korrektheit (GSP&Co) (Sachbeihilfen)
  - Weiterentwicklung Formaler Methoden zur Unterstützung des Designs neuer homogener verteilter Systeme und Technologien mit hybrider Resilienz (Sachbeihilfen)
- abgeschlossene Projekte
  - Automatische Synthese Verteilter und Parametrisierter Systeme (Sachbeihilfen)