Silvia Lizeth Tapia Tarifa

Image of Silvia Lizeth Tapia Tarifa
Norwegian version of this page
Phone +47-22852763
Visiting address Gaustadalleen 23 B None 0373 OSLO
Postal address Postboks 1080 Blindern 0316 OSLO

I am currently part of the SIRIUS Centre at the University of Oslo.  My main research area is formal methods, where I apply and develop techniques for the prediction of behaviors in complex systems. Now a days, I am working with formal modeling and analysis of multicore architectures and memory layout to better understand data movement in parallel processing, trace-based semantics for concurrent and possible non-terminating programs to enable compositional reasoning about the behavior of distributed systems, and formal modeling concepts for resource usage in distributed systems to analyze resource management and service level agreement. I recently got a grant from FRINATEK - Young Research Talent. In this project, called ADAPT, I will develop novel static analysis techniques for better data locality in parallel processing. I have also worked for various EU projects, including FP7 ENVISAGE, FP7 FET UpScale and FP7 FET HATS. I had a research stay in Imperial College London in 2016 and I was a fellow at the United Nation University, International Institute for Software Technology in Macao China in 2007. My work is relevant for SIRIUS ‘research activities in model-based predictions both in the planning domain in the EMA strand and in the cloud and multicore-computing domain in the Scalable Computing Strand. I was also a guest lecturer at the University College of Southeast Norway HSN.


Publication List:

Updated until November 2017, available in html format here, and in pdf format here.


08.17 – 12.17

Guest lecturer

Egineering, Technology and IT

University college of Southeast Norway - Kongsberg

Safety Critical Systems

08.12 – 12.12

Lecturer and teaching assistant

Department of Informatics

University of Oslo

INF4140 Models of Concurrency




Autumn 2017

Uy Quoc Ton Tran

Cooperative Fire Fighters

Main Supervisor



09.17 - now




07.14 - 08.17

Postdoctoral Researcher

EU FP7 Envisage and EU FP7 FET Upscale


01.10 – 04.14

Ph.D. Research Fellow


University of Oslo - Department of Informatics


03.09 – 12.09

Scientific Assistant

EU FP6 Credo

University of Oslo - Department of Informatics


04.07 – 04.08


United Nations University

International Institute for Software Technology

Macao S.A.R.




Spring 2014

University of Oslo

Department of Informatics



Thesis: Executable Modeling of Deployment Decisions for Resource-Aware Distributed Applications

Slides: defence here, trial lecture here.

Supervisors: Einar Broch Johnsen

                       Martin Steffen

Autumn 2013

University of Oslo

Department of Informatics


Master of Science in Informatics: programming and networks

Thesis: The Cooperative Cleaners Case Study: Modelling and Analysis in Real-Time ABS

Slides: here

Supervisors: Einar Broch Johnsen

Autumn 2007

Universidad Nacional de San Agustín

Escuela Profesional de Ingeniería de Sistemas


System Engineer

Autumn 2002

Universidad Nacional de San Agustín

Escuela Profesional de Ingeniería de Sistemas




Project participation and Funding


FRINATEK - Young Research Talent - ADAPT: Exploiting Abstract Data-Access Patterns for Better Data Locality in Parallel Processing, Project Manager



EU FP7-610582 Engineering Virtualized Services (ENVISAGE), Postdoc 

EU FP7-612985 From Inherent Concurrency to Massive Parallelism through Type-based Optimizations (UpScale), Postdoc 
Norwegian-German bilateral research cooperation SMT4ABS, Postdoc 

EU FP7 Highly Adaptable and Trustworthy Software using Formal Models (HATS) project, Ph.D. Student
Norwegian-German bilateral research project Avabi, Scientific Assistant

EU FP6 CREDO Project, Scientific Assistant

033-FINCyT-PITEI-2008 project, System Analyst

RAISE Tools project, fellow

Tags: formal methods, programming language theory, model-based predictions, parallel data access, cloud computing, parallel systems, distributed systems, object-orientation, modeling, deployment


View all works in Cristin

  • Abraham, Erika & Tapia Tarifa, Silvia Lizeth (ed.) (2017). Proceedings of the PhD Symposium at iFM’17 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’17). Full text in Research Archive.
  • Bijo, Shiji; Johnsen, Einar Broch; Pun, Ka I & Tapia Tarifa, Silvia Lizeth (2015). An Operational Semantics of Cache Coherent Multicore Architectures.
  • Johnsen, Einar Broch; Pun, Ka I; Steffen, Martin; Tapia Tarifa, Silvia Lizeth & Yu, Ingrid Chieh (2015). Meeting Deadlines, Elastically..
  • Tapia Tarifa, Silvia Lizeth (2014). Executable Modeling of Deployment Decisions for Resource-Aware Distributed Applications. Series of dissertations submitted to the Faculty of Mathematics and Natural Sciences, University of Oslo.. 1484.
  • Tapia Tarifa, Silvia Lizeth (2013). The Cooperative Cleaners Case Study: Modeling and Analysis in Real-Time ABS..

View all works in Cristin

Published Dec. 3, 2015 2:39 PM - Last modified Feb. 28, 2018 4:01 PM


Research groups