Silvia Lizeth Tapia Tarifa

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

Expertise and Knowledge

My expertise and knowledge are in the areas of formal methods and software engineering. In my current position I am working for two EU projects,  ENVISAGE, and UpScale. My contributions for these projects target the formal design and formal analysis techniques for concurrent languages, and the formal modelling and analysis of concurrent and object-oriented software applications deployed on elastic environments. As a result of my four years of Ph.D. studies, I contributed with a framework for designing software applications that can adapt to changes. The resulting ideas included in my thesis have been part of the starting point of the EU project ENVISAGE, an extension of the approach proposed in my thesis has been integrated to the ABS language, developed in the project, and it is currently being used by the industry partners in the project. I also have experience as lecturer and teaching assistant for courses at the master level.

Publication List:

Updated until december 2015, available here.

Higher education and Research record

 

EDUCATION

Spring 2014

University of Oslo

Department of Informatics

Norway

Ph.D.

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

Norway

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

Perú

System Engineer

Autumn 2002

Universidad Nacional de San Agustín

Escuela Profesional de Ingeniería de Sistemas

Perú

Bachelor

 

 

RESEARCH RECORD

 

07.14 - now

Postdoctoral Researcher

University of Oslo - Department of Informatics

Norway

01.10 – 04.14

Ph.D. Research Fellow

University of Oslo - Department of Informatics

Norway

03.09 – 12.09

Scientific Assistant

University of Oslo - Department of Informatics

Norway

04.07 – 04.08

Fellow

United Nations University

International Institute for Software Technology

Macao S.A.R.

 

Project participation and Funding

 

CURRENT PROJECTS

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 

 

PAST PROJECTS

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, software engineering, cloud computing, parallel systems, distributed systems, object-orientation, modeling, deployment

Publications

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.
  • 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 Apr. 30, 2016 3:40 PM