I am a Senior Research Scientist at SINTEF Digital, Oslo, Norway. My research focuses on investigating sound and practical modeling foundations for software systems. I apply my research to diverse software systems ranging from resource-constrained devices within the Internet-of-Things, up to large scale cloud-based systems.