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.
- Theoretical Foundations of Computer Systems, Spring 2021. Visiting Graduate Student.