Swen Jacobs
@swenjacobs.bsky.social
Faculty member at CISPA Helmholtz Center for Information Security, leading the Rigorous Analysis & Design group
Research interests: formal verification, synthesis and learning
Research interests: formal verification, synthesis and learning
Reposted by Swen Jacobs
Delighted to have Orna Kupferman as the first keynote speaker of the SynCoP 2025 workshop (co-organized with Swen Jacobs), part of CONFEST 2025 in Aarhus 🇩🇰.
Topic: Synthesis of Privacy-Preserving Systems. 🔐🤫
lipn.univ-paris13.fr/SynCoP2025/
Topic: Synthesis of Privacy-Preserving Systems. 🔐🤫
lipn.univ-paris13.fr/SynCoP2025/
August 25, 2025 at 11:43 AM
Delighted to have Orna Kupferman as the first keynote speaker of the SynCoP 2025 workshop (co-organized with Swen Jacobs), part of CONFEST 2025 in Aarhus 🇩🇰.
Topic: Synthesis of Privacy-Preserving Systems. 🔐🤫
lipn.univ-paris13.fr/SynCoP2025/
Topic: Synthesis of Privacy-Preserving Systems. 🔐🤫
lipn.univ-paris13.fr/SynCoP2025/