I am an associate professor at the Department of Informatics, University of Oslo and the leader of the Analysis and Complex System Research Program at the SIRIUS Center. My main research area is formal methods for parallel and distributed systems. I have a Young Research Talent grant for a project called ADAPt from the Research Council of Norway, the only grant in computer science for this call in 2017. In this project I am applying static analysis techniques to approximate parallel data access in architectures with shared memory.
I am also doing research on 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 have worked in several 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.
I have taught courses at the master level and I have been supervising PhD and master students. I am PC co-chair of iFM’19 and PC member of FASE’19, ICE'19, F-IDE’19, DISE’19, DEVOPS’18 and DISE’18. I have more than 25 co-authored per-reviewed papers and Journals.
Publication List:
Updated until September 2022, available here.
TEACHING:
08.17 – 12.17 |
Guest lecturer |
Safety Critical Systems |
08.12 – 12.12 |
Lecturer and teaching assistant Department of Informatics University of Oslo |
INF4140 Models of Concurrency |
SUPERVISION:
2018 - Now |
Gianluca Turin Exploiting abstract data access patterns for better locality in parallel processing PhD Student - Main supervisor |
2015 - Now |
Shiji Bijo Formalization of data movement in multi-core architectures. PhD Student - Co-supervisor |
Autumn 2018 |
Aravinth A. Sivalingam The fast food restaurant: A case study for modelling business process using ABS Master Thesis - Main Supervisor |
Autumn 2017 |
Uy Quoc Ton Tran Master Thesis - Main Supervisor |
RESEARCH RECORD
09.17 - now |
Researcher |
Norway |
07.14 - 08.17 |
Postdoctoral Researcher |
EU FP7 Envisage and EU FP7 FET Upscale 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. |
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 |
Project participation and Funding
CURRENT PROJECTS
FRINATEK - Young Research Talent - ADAPT: Exploiting Abstract Data-Access Patterns for Better Data Locality in Parallel Processing, Project Manager
PAST 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
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