Faculty member at CISPA Helmholtz Center for Information Security, leading the Rigorous Analysis & Design group

Research interests: formal verification, synthesis and learning