Ph.d. forsvar Janus Dam Nielsen

Cand. scient. Janus Dam Nielsen forsvarer torsdag d. 28. maj kl. 13.00 sin ph.d.-afhandling med titlen: "Languages for Secure Multiparty Computation and Towards Strongly Typed Macros" ved et offentligt forsvar i Undervisningslokalet IT-Huset, Åbogade 15 Århus N.

Janus Dam Nielsen har gennemført ph.d.-studiet ved Datalogisk Institut under Det Naturvidenskabelige Fakultet ved Aarhus

Universitet. Forskningsarbejdet er delt i to. Den første del omhandler design og implementation af programmeringssprog for secure multiparty computation. Secure multiparty computation er en kryptografisk teknik, der gør det muligt at regne på "hemmelige" tal, og de designede sprog gør det nemmere og mere sikkert for mennesker uden ekspertviden om kryptologi at skrive programmer, der udnytter denne teknologi. Afhandlingen indeholder en beskrivelse af hvordan den centrale funktionalitet i en børs til sikker handel med sukkerroer er lavet vha. et af sprogene. Den anden del handler om hvordan programmeringssprog kan designes, så de kan udvikle sig over tid efterhånden som nye krav og ønsker fra programmører gør sig gældende.