I am senior scientist and research manager for the reliable automation group at Sintef Digital. I have worked at Sintef since 2012 and have led the research group since 2016.
Education
I have a master degree (2008) and PhD (2012) in engineering cybernetics and real-time systems from NTNU. The topic of my PhD was execution-time monitoring of interrupts and tasks in real-time systems, with special emphasis on mechanisms in the Ada programming language.
Competence and research areas
My research interests are high-integrity cyber-physical systems, model-based systems architecture, formal verification, real-time systems and communication middleware. I am specially passionate about the Ada/SPARK programming languages and have contributed to the ISO standard as a part of my PhD. My primary domains are critical infrastructure, smart grids, robotics, and space applications.
Linkedin
https://www.linkedin.com/in/gregertsen/
ResearchGate
https://www.researchgate.net/profile/Kristoffer-Gregertsen
ORCID
https://orcid.org/0000-0002-2729-0912
