Faculty member at CISPA Helmholtz Center for Information Security, leading the Rigorous Analysis & Design group Research interests: formal verification, synthesis and learning