Til hovedinnhold
Norsk English

Kristoffer Nyborg Gregertsen

Forskningsleder


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

Fremhevede publikasjoner

Ekspertise

Kontaktinformasjon

Besøksadresse:
Klæbuveien 153
Trondheim