Morten Kühnrich vart Ph.D við Aalborg Universitet

Fríggjadagin 14. januar vardi Morten Kühnrich Ph.D.ritgerð sína við Institut for Datalogi á Ålborg Universiteti. Ritgerðin ber heitið "Tilgange til formel verifikation: Type teori, modelcheck og procesalgebra".
 
Í metingarnevndini vóru Björn Victor, lektari við Uppsala Universitet, Hanne Riiis Nielson, professari við DTU, og Bent Thomsen, professari við Ålborg Universitet (formaður).
 
Jiri Srbaa, lektari, hevur verið høvuðsvegleiðari, meðan Hans Hütttel, lektari, hevur verið hjávegleiðari
.
Morten Kühnrich starvast hjá Føroya Tele og hevur eitt skifti undirvíst á Fróðskaparsetri Føroya.

Les um Morten Kühnrich í Heilagrunninum.

Um ritgerðina:
Afhandlingen beskriver tre forskellige tilgange til formel verifikation af sikkerhedskritiske systemer. Verifikation adskiller sig fra programtest ved at der føres bevis for korrektheden af et givent system. Resultaterne i afhandlingen kan være med til at fremme udviklingen af korrekt fungerende software, herunder også sikker kommunikation over netværk.