Ph.d. grad tildelt Christoffer Eg Sloth

Description

Christoffer Eg Sloth er blevet tildelt ph. d.- graden ved Det Teknisk-Naturvidenskabelige Fakultet på Aalborg Universitet, hvor han har forsvaret sin afhandling "Formel verifikation af kontinuerte systemer", ved Institut for Datalogi. Christoffer Eg Sloth beskriver i sin afhandling en metode til at verificere kontinuerte systemmodeller, således at et system overholder dets specifikation. Christoffer Eg Sloth er ansat ved Aalborg Universitets afdeling for automation og regulering, hvor han skal forske i fremtidens elnet.