Andrea Pferscher

Andrea Pferscher is a Senior Lecturer at the University of Oslo's Department of Informatics. Her research focuses on formal methods applied to digital twins, particularly in contexts like vaccination strategy modeling and environmental systems analysis. She is involved in projects such as DART (Digital Arctic Twins), a digital twin for vaccination strategies at geographic scales, and a digital twin of the Oslo Fjord.

Her work bridges theoretical computer science with practical applications in system modeling and analysis. She collaborates on stochastic games, user journey strategies, and automated learning techniques for cyber-physical systems. Pferscher's research emphasizes interdisciplinary approaches, combining formal verification with machine learning and systems engineering.