Profile
Swen Jacobs
swenjacobs.bsky.social
did:plc:vmiys7goawvzjbwmiimf4kq7
Faculty member at CISPA Helmholtz Center for Information Security, leading the Rigorous Analysis & Design group
Research interests: formal verification, synthesis and learning