"Digital Twins: From Engineering to Science"

"Digital twins are emerging as an engineering discipline to build virtual representations of physical objects or processes. In engineering, the use of digital twins profoundly changes the entire product lifecycle management, from design, to manufacturing to service and operations, because the digital twins adapt in response to the evolution of their physical counterpart. Digital twins can evolve continuously based on streams of observations of the physical system, for example from sensors that connect the physical system to the digital twin in near real-time.

In this talk, we move from the engineering of digital twins to the science of digital twins. We consider basic concepts of digital twins, present some examples of how we are working with them in research, and discuss scientific challenges related to digital twins."

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.

Refreshments will be served after the talk.