To main content

Kristoffer Nyborg Gregertsen

Research Manager

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.


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.





Contact info

Visiting address:
Klæbuveien 153