Silvia Lizeth Tapia Tarifa

Bilde av Silvia Lizeth Tapia Tarifa
English version of this page
Telefon +47-22852763
Brukernavn
Besøksadresse Gaustadalléen 23B Ole-Johan Dahls hus 0373 OSLO
Postadresse Postboks 1080 Blindern 0316 OSLO
Andre tilknytninger Institutt for informatikk

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

Emneord: formal methods, software engineering, cloud computing, parallel systems, distributed systems, object-orientation, modeling, deployment

Publikasjoner

Se alle arbeider i Cristin

  • 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..

Se alle arbeider i Cristin

Publisert 3. des. 2015 14:38 - Sist endret 30. apr. 2016 15:39