Einar Broch Johnsen

Einar Broch Johnsen


University of Oslo


Einar Broch Johnsen is a professor at the Department of Informatics, University of Oslo. His research interests include programming models and methodology; program specification and modeling; formal methods and associated theory; lightweight analysis, type systems, testing; as well as deductive verification and formal logic. He is active in formal methods for distributed and concurrent systems, including object-oriented and concurrent languages, manycore computing, and cloud computing. He is one of the main developers of the ABS modeling language.

Einar Broch Johnsen is the strategy director of Sirius, a center of excellence for research driven innovation on scalable data access, with 8 year funding from the Research Council of Norway. He has been prominently involved in many national and European research projects; in particular, he was the coordinator of the EU FP7 project Envisage (2013-2016) on formal methods for cloud computing and the scientific coordinator of the EU H2020 project HyVar on hybrid variability systems. Einar Broch Johnsen is member of IFIP WG2.2 “Formal Description of Programming Concepts”. He was board member of Sintef ICT (2009-2015). He is currently board member of Formal Methods Europe and steering committee member of the conference series on Integrated Formal Methods (iFM) and on Formal Techniques for Networked and Distributed Systems (FORTE). He was general chair of FM 2015 and DisCoTec 2008, and PC chair of FASE 2022, SEFM 2018, TAP 2017, ESOCC 2016, iFM 2013 and FMOODS 2006.

Recent Publications

Inseguendo Fagiani Selvatici: Partial Order Reduction for Guarded Command Languages

Festschrift Maurizio Gabbrielli, 2020

Active Objects with Deterministic Behavior

Proc. IFM 2020. LNCS 12546, Springer 2020

Behavior Trees in Action: A Study of Robotics Applications

Proc. SLE 2020. ACM Press 2020.

A Formal Model of the Kubernetes Container Framework

Proc. ISoLA 2020. LNCS 12476, Springer 2020.

Assumption-Commitment Types for Resource Management in Virtually Timed Ambients

Proc. ISoLA 2020. LNCS 12476, Springer 2020


Remaro: Reliable AI for Marine Robotics

Remaro is a Marie Skłodowska-Curie (MSCA) European Training Network funded by the European Commission 2020-2024. The network will educate 15 PhD research fellows on complimentary aspects of reliable autonomy for underwater robotic applications. The REMARO research fellows will develop the first ever submarine robotics AI methods with quantified reliability, correctness specifications, models, tests, and analysis & verification methods.

Smart Journey Mining: Towards successful digitalisation of services

SJM is a project funded by the Research Council of Norway 2021-2024. The overall goal of SJM is to increase the quality of service and support the successful digitalisation of services by uniting research on process mining and customer journeys using new developments in logic-based analysis and artificial intelligence.

Cumulus: Semantics-Based Analyses for Cloud-Aware Computing

Cumulus is a project funded by the Research Council of Norway 2015-2019. The main goal of Cumulus is to develop a semantic foundation for static analysis techniques for cloud-aware applications. Cloud-awareness enables the software to negotiate its own quality of service and opens for dynamic and fine-grained resource management.

HyVar : Scalable Hybrid Variability

HyVar was an EU H2020 research project 2015-2018. The idea was to develop a framework for continuous software evolution in distributed systems which combines the description of evolution as a software product line, a scalable cloud infrastructure to monitoring and customization of software upgrades for remote devices, and over-the-air upgrade technologies

UpScale: From Inherent Concurrency to Massive Parallelism through Type-based Optimizations

UpScale was an EU FP7 FET Open-X research project 2014-2017. The idea was to design programming languages for the manycore era, when a program can make use of potentially millions of processors.

Envisage: Engineering Virtualized Services

I coordinated this EU FP7 research project 2013-2016. The basic idea was to integrate service-level agreements (SLA) into the interfaces of an object-oriented model and validate SLA for cloud computing at design time using formal methods.

HATS: Highly Adaptable and Trustworthy Software using Formal Methods

HATS was a four-year FET project funded under the EU’s FP7 programme 2010-2013. In the project, we propose to take an empirically successful, yet informal software development paradigm and put it on a formal basis.


Center for Research-driven Innovation

Sirius Centre for Research-driven Innovation SIRIUS is a Norwegian Centre for Research-driven Innovation that addresses the problems of scalable data access in the oil & gas industry. The centre combines public funding for basic research with funding from its industry partners into an 8 year programme for industrial innovation.

The SIRIUS researchers are experts in IT technologies, including high-performance and cloud computing, formal methods, database technology, semantic technologies and natural language processing. The centre also includes researchers in the area of working practices involving novel technology.

The centre aims to provide the oil & gas business with better ways to access and use the massive amounts of data that are generated in projects and daily operation. Problems with data access are made more acute by the rise of big data, the internet of things and digitalisation of enterprises. SIRIUS targets these problems using an interdisciplinary approach, as successful innovation depends on the combination of technologies.

The centre is designed to support technological innovation through a portfolio of projects. These projects develop basic technology in laboratory projects and then move the technology through prototypes to pilots in industrial applications. The centre’s intellectual property model is designed to build a core of open knowledge on which commercial applications can be built.

SIRIUS aims to be an intellectual hub for applied industrial IT in South-Eastern Norway. It has dedicated premises in the Department of Informatics at the University of Oslo and collaborates widely, both nationally and internationally. Many of the results generated by the centre will also be of relevance outside the oil and gas industry. The centre is therefore also active in communicating and applying its results to other areas such as Healthcare, Manufacturing and Public Administration.

For more information, see the SIRIUS website.



VORTEX 2021, Virtual Aarhus, Denmark July 12, 2021

FM 2021

FM 2021, Beijing, China Nov 20, 2021 - Nov 26, 2021

AGERE 2020

AGERE 2020, Chicago, US, 20 November 2020

iFM 2020

iFM 2020, Lugano, Switzerland, 16-20 November 2020

FormaliSE 2020

FormaliSE 2020, Seoul, Korea, 25-26 May 2020


  • einarj@ifi.uio.no
  • (+47) 2285 2509
  • Dept. of Informatics, University of Oslo, Gaustadalléen 23B, NO-0373 Oslo,
  • Enter Ole-Johan Dahl’s Hus, take the elevator to the 8th floor