22/06-10 - Pressemeddelelse

Jacob Thamsborg er ny ph.d. fra IT-Universitetet

Den 16. juni forsvarede Jacob Thamsborg med succes sin ph.d.-afhandling på IT-Universitetet i København. Afhandlingen har titlen "Denotational World-indexed Logical Relations and Friends", og er skrevet med afsæt i forskningsgruppen Programming, Logic and Semantics (PLS).

Jacob har i løbet af sin ph.d.-ansættelse arbejdet med at videreudvikle matematiske modeller til også at indfange programmer, som direkte anvender computerens hukommelse.

Resultatet af forskningen er et skridt på vejen mod at udvikle præcisionsværktøjer, som optimerer den automatiske oversættelse af programmer, og derved assisterer programmøren. Samtidig har Jacobs forskning tilføjet struktur til eksisterende teori.

Før han startede på IT-Universitetet, tog Jacob en kandidatuddannelse i matematik på Københavns Universitet.

Jacob Thamsborg fortsætter sit arbejde på IT-Universitetet - han er netop blevet ansat i en to-årig stilling som post.doc i PLS-gruppen.