Silvia Lizeth Tapia Tarifa

Silvia Lizeth Tapia Tarifa is an Associate Professor in the Department of Informatics at the University of Oslo, specializing in formal methods for parallel and distributed systems. She serves as one of the principal investigators for the NFR SJM (Smart Journey Mining) project, which runs until 2026, and actively participates in Digital Twins research with a focus on GDPR-compliant data management. Her academic affiliations include the Reliable Systems research group and the Analytical Systems and Reasoning (ASR) group at the Department of Informatics.

Professor Tapia Tarifa's research spans formal methods, concurrency theory, and distributed systems with particular emphasis on self-adaptive systems, semantics of concurrent languages, compositional reasoning about distributed system behavior, and formal modeling of resource usage. Her work bridges theoretical computer science with practical applications in digital twins, GDPR compliance, and resource management in distributed environments. She has made significant contributions to the ABS language framework and active object models for parallel and distributed computing.

Her publication record shows a consistent focus on formal verification techniques applied to emerging challenges in distributed computing. Recent work demonstrates increasing attention to digital twins technology, user journey modeling, and privacy-preserving systems. The research trajectory reveals evolution from foundational work on concurrent language semantics toward applied research in self-adaptive systems and GDPR-compliant architectures, while maintaining strong theoretical underpinnings in formal methods.

• Young Research Talent grant from Research Council of Norway (2017), the only computer science grant in that call
• Fellow at United Nations University, International Institute for Software Technology (2007)
• Active participation in formal methods community as general chair, PC chair, and committee member

Professor Tapia Tarifa has supervised PhD and master's students while teaching graduate-level courses. She has led significant research initiatives including the Analysis and Complex System Research Program at SIRIUS Center (ended 2023) and the EU MSCA-ITN REMARO project on Reliable AI for Marine Robotics (ended 2024). Her current research portfolio includes multiple active grants focused on digital twins, user journey analysis, and privacy-preserving distributed systems. She collaborates extensively with researchers across Europe through various EU-funded projects including FP7 ENVISAGE, FP7 FET UpScale, and FP7 FET HATS.

Her research activities are centered around the ABS language framework and its applications to distributed systems verification. She maintains active collaborations through the SIRIUS Center and participates in the international formal methods community through conference organization and program committees.