ph.d.-grad
Mikkel Larsen pedersen
FORSKNING:Akademisk Råd ved Det Teknisk-Naturvidenskabelige Fakultet ved Aalborg Universitet har tildelt Mikkel Larsen Pedersen, Institut for Datalogi ph.d.-graden. Afhandlingens titel er "Specification Theories for Probabilistic Systems" - ("Specifikationsteorier for probabilistiske systemer") og omhandler håndterbare beskrivelser af systemer, der f.eks. arbejder i utilregnelige omgivelser, med henblik på komponentbaseret udvikling. Ligeledes præsenterer afhandlingen software, der kan behandle beskrivelser og deres indbyrdes forhold såsom overlap, forfining osv. samt hvorvidt et givent konkret system opfylder en beskrivelse. Resultater fra afhandlingen er præsenteret ved bl.a. konferencer i USA, Storbritannien og Spanien. Mikkel Larsen Pedersen, født 1984, er opvokset i Vrå i Vendsyssel og tog sin studentereksamen fra Brønderslev Gymnasium i 2003. Han opnåede i 2008 en kandidatgrad i matematik fra Aalborg Universitet og er pt. ansat som postdoc på Institut for Datalogi.
Giv redaktøren besked, hvis du synes indholdet virker forkert.
Redaktøren er underrettet og vil kigge nærmere på indlægget.