Unifying Speaker Einar Broch Johnsen

Einar Broch Johnsen is a Professor and head of the research group on Reliable Systems at the Department of Informatics, University of Oslo. His research interests include programming models, semantics and methodology; program specification and modeling; formal methods and associated theory; model-based analysis, testing and formal logic. He is active in formal methods for distributed and concurrent systems, including object-oriented and actor languages, manycore computing, cloud computing and digital twins. He is one of the main developers of ABS, a modeling language for asynchronous distributed systems and SMOL, a formally defined programming language for digital twins.