She received her Ph.D. from Carnegie Mellon University (Pittsburgh, USA) in 2003. Currently, she is a Humboldt Research Fellow at the Ludwig-Maximilian University Munich, Germany. Her research interest lies in developing a theoretical and practical foundation for building and reasoning about reliable safe software systems. To achieve this goal, she combines theoretical research on the logical foundations of computer science in programming languages and verification with system building.