Norwegian version of this page

Einar Broch Johnsen

Professor - Reliable Systems
Image of Einar Broch Johnsen
Email einarj@ifi.uio.no
Phone +47 22 85 25 09
Room 8460
Username
Visiting address Room 8460 Ole-Johan Dahls Hus Gaustadalleén 23 D 0373 Oslo
Postal address Postboks 1080 Blindern 0316 Oslo

Personal homepage

Tags: computer science, formal methods, semantics, modeling, distributed systems, digital twins
Published Nov. 4, 2010 2:00 PM - Last modified Oct. 21, 2021 11:33 PM

Research groups