Jeg er seniorforsker og forskningsleder for faggruppen pålitelig automatisering i Sintef Digital. Jeg har jobbet ved Sintef siden 2012 og har ledet faggruppen siden 2016.
Utdanning
Jeg har en mastergrad (2008) og doktorgrad (2012) i anvendt kybernetikk og sanntidssystemer fra NTNU. Temaet for doktorgraden min var overvåking av kjøretid for avbrudd og tråder i sanntidssystemer, med spesiell vekt på mekanismer i programmeringsspråket Ada.
Kompetanse og fagområder
Mine forskningsinteresser inkluderer høyintegritets cyber-fysiske systemer, modellbasert systemarkitektur, formell verifikasjon, sanntidssystemer og kommunikasjonsmellomvare. Jeg er spesielt opptatt av programmeringsspråkene Ada/SPARK og har bidratt til ISO-standarden som en del av doktorgraden min. Mine hovedområder er kritisk infrastruktur, digitaliserte strømnett, robotikk og romapplikasjoner.
Linkedin
https://www.linkedin.com/in/gregertsen/
ResearchGate
https://www.researchgate.net/profile/Kristoffer-Gregertsen
ORCID
https://orcid.org/0000-0002-2729-0912