Einar Broch Johnsen
Reliable Systems (Professor) - University of Oslo
Department of Information and Communication Technology (ICT) (Associate professor) - University of Agder
Department of Physics and Technology (Professor) - UiT The Arctic University of Norway
Department of Computer science, Electrical engineering and Mathematical sciences (Professor) - Western Norway University of Applied Sciences
Contact information
Universitetet i Oslo
Website
http://www.ifi.uio.no/~einarj
UiT Norges arktiske universitet
Høgskulen på Vestlandet
Other
Website
Personal website
Academic disciplines
Logic
Security and vulnerability
Theoretical computer science, programming science and theory
Subjects
Proof systems
Computer science
Formal methods
Object orientation
Object oriented modelling/programming
Parallel systems
Program specification
Programming languages
Theoretical computer science
Term rerwrite systems
Open distributed systems
Projects
Smart Journey Mining: Towards successful digitalisation of services
Connect (Active Behavioral Interfaces for Seamless Network Integration)
Credo: Modeling and analysis of evolutionary structures for distributed services
Creol (A formal framework for reflective component modelling)
HATS (Highly Adaptable and Trustworthy Software using Formal Models)