Einar Broch Johnsen

Associate Professor, Department of Informatics - University Of Oslo

Professor, Department of Informatics, University of Oslo

Professor of Computer Science, Technical University of Darmstadt

Assistant Professor, IT University of Copenhagen

Full Professor of Compurer Science, University of Torino

Professor of Software Engineering, IT University of Copenhagen, Denmark

Karlsruhe Institute of Technology (KIT)

Full Professor of Formal Methods, Johannes Kepler University Linz