Andreas Pavlogiannis

Projekttitel

UNORDER: Towards Reliable Weakly-Consistent Databases

Hvad handler dit projekt om?

Databaser udgør rygraden i moderne IT-infrastruktur, da det meste software i dag er i kontinuerlig interaktion med en database, hvor det gemmer og henter data. Af den grund har databasefejl langtrækkende konsekvenser, der kan forstyrre adskillige tjenester og påvirke millioner af brugere. UNORDER-projektet handler om at udvikle teoretiske tilgange og praktiske værktøjer til systematisk at teste og verificere, at databaser fungerer korrekt for at minimere risikoen for fejl under brug.

Hvordan opstod din interesse for dit forskningsfelt?

Generelt handler softwareverifikation om at udvikle passende teori og værktøjer til at analysere software og verificere, at det opfører sig efter hensigten. Den gennemgribende tilstedeværelse af softwaresystemer i vores hverdag gør verifikation til en uundværlig del af softwareudvikling, og de problemer, det adresserer, er af stor samfundsmæssig relevans. Samtidig er den daglige forskning på området sjov: Der er flere måder at gribe de underliggende udfordringer an på, afhængigt af ens personlige forskningsstil, fra meget teoretisk til helt praktisk. Min forskningsgruppe studerer verifikation fra et algoritmisk perspektiv ved at bruge moderne algoritmisk teori til at undersøge grænserne for, hvor effektivt forskellige verifikationsproblemer kan løses.

Hvad er de forskningsmæssige udfordringer og perspektiver ved dit projekt?

For at nå UNORDERs mål kræves grundlæggende forskning på to fronter. For det første skal vi udvikle nuanceret modelleringsteori (også kaldet semantik) for databaseadfærd, hvori vi kan specificere de forskellige måder, en database skal håndtere de data, der er lagret i den. For det andet skal vi udvikle algoritmisk teori, dvs. skalerbare algoritmer, der kan teste, om en database rent faktisk er i overensstemmelse med sin tilsigtede adfærd. Desuden bliver begge slags teori implementeret i softwareværktøjer, der effektivt kan udføre denne slags tests i praksis.

Hvad vil det betyde for din forskerkarriere, at du indgår i Sapere Aude-programmet?

Det vigtigste formål med dette projekt er at levere en mere robust databaseinfrastruktur. I takt med at vores samfund bliver mere og mere afhængigt af digitale tjenester, vil produkterne fra UNORDER hjælpe med at sikre, at disse tjenester er pålidelige, hurtige og sikre, og at vores data ikke bliver beskadiget eller pludselig går tabt. Færre databasefejl vil sandsynligvis også reducere omkostningerne ved digitale tjenester, navnlig de omkostninger, der opstår ved at reparere fejl, når de opstår.

Lidt om mennesket bag forskeren

Jeg voksede op i Partas, en kystby i det sydlige Grækenland, hvor jeg også fik min universitetsgrad. Derefter flyttede jeg til USA for at tage min kandidatgrad og derefter tilbage til Europa, i Østrig, for at tage min ph.d.. Efter en kort postdoc-stilling i Schweiz startede jeg ved Institut for Datalogi på Aarhus Universitet.