Jana Hofmann
Researcher
About
Jana Hofmann is a postdoctoral researcher in the Confidential Computing Group at Microsoft Research in Cambridge, UK. She is working on formal models for information leakage through microarchitectural side channels. She is also interested in logics to specify relational properties (also known as hyperproperties) such as noninterference.
Before joining Microsoft, Jana obtained a Ph.D. from Saarland University/CISPA Helmholtz Center for Information Security (Germany), where she was advised by Bernd Finkbeiner. During her Ph.D., she developed formal specification languages and algorithms for hyperproperties. She also holds a Master’s degree in Computer Science from the University of Edinburgh and a Bachelor’s degree from Saarland University.