Hvordan man bygger softwaresystemer med korrekthedsgarantier

Under sine studier undersøgte Anders Alnor Mathiasen, hvordan man bygger verificerbart korrekte softwaresystemer. I første del af sine studier fokuserede Anders på databaseimplementeringer, en grundlæggende komponent i vores kritiske infrastruktur. Han viste, hvordan man kan bevise, at databaseimplementeringer opfører sig, som de skal. I anden del af studiet fokuserede Anders på programmeringssprog med effect handlers. Effect handlers er en sprogkonstruktion i programmeringssprog, der giver programmører stor fleksibilitet. Hans forskning viser, hvordan programmer med effect handlers kan frigøre hukommelse mere effektivt uden at introducere nye fejl.

Ph.d.-studiet er gennemført ved Faculty of Natural Sciences, Aarhus Universitet.

Dette resumé er udarbejdet af den ph.d.-studerende. 

Tid: Fredag den 13. november kl. 13:00 

Sted: Bygning 5342, lokale 333 Ada, Institut for Datalogi, Åbogade 34, Aarhus Universitet, 8200 Aarhus N.

Afhandlingens titel: Building Systems with Guarantees

Kontaktinfo: Anders Alnor Mathiasen, e-mail: alnor@cs.au.dk 

Bedømmelsesudvalg:
Lektor Azalea Raad, Department of Computing, Imperial College London, Storbritanien
Lektor Ilya Sergey, School of Computing, National University of Singapore, Singapore
Lektor Sophia Yakoubov (forperson), Institut for Datalogi, Aarhus Universitet
Hovedvejleder: Professor Lars Birkedal, Institut for Datalogi, Aarhus Universitet
Medvejleder: Lektor Amin Timany, Institut for Datalogi, Aarhus Universitet
Sprog: Ph.d.-afhandlingen forsvares på engelsk

Forsvaret er offentligt.

Afhandlingen ligger til gennemsyn hos Graduate School of Natural Sciences (GSNS), Ny Munkegade 120, bygning 1521, 8000 Aarhus C