Jana Hoffmann

Graduate Student, CISPA Helmholtz Center
Visiting Graduate Student
Dates of Visit: Apr. 15May 14, 2021

Jana Hofmann is a third year PhD student at CISPA Helmholtz Center for Information Security (Germany), advised by Bernd Finkbeiner. Previously, she obtained a Bacherlor's degree from Saarland University (Germany) and a Master’s degree from the University of Edinburgh (UK). Jana’s research interests lie in the area of logics, formal verification, and information flow security. More precisely, she investigates specification languages and algorithms for hyperproperties, a formalism to reason about the relation between multiple computation traces.

Program Visits