Thomas Dinsdale-Young

Postdoc, ph.d. Thomas Dinsdale-Young, født 1984

Thomas William Dinsdale Young

Fagområde

Datalogi

Forskningsprojekt

Automatisk beviser for, at flertrådet software er fejlfri.

Hvad handler dit projekt om?

Concurrent software bliver mere vigtigt i vores dagligdag både for computere, telefoner, tablets og skyen.

Men denne software er svær at skrive korrekt. Fejl i concurrent software vil kun vise sig ved sjældne lejligheder og bliver derfor ikke fanget, før softwaren udgives. Dette projekt vil udvikle software-værktøjer, der automatisk kan verificere concurrent software og garantere, at de ikke har nogen fejl. Disse værktøjer vil anvende de seneste innovationer indenfor formelle metoder, hvilket vil give den største mulige tillid til værktøjernes garanti.

Hvordan opstod din interesse for dit forskningsfelt?

Mine forældre er ingeniører. Før de bygger en bro, laver de beregninger for at bevise, at den ikke vil kollapse. I teorien er computerprogrammer mere forudsigelige end beton og stål. Men sjældent beviser vi, at den software vi stoler på, ikke vil mislykkes, fordi det er vanskeligt og dyrt at gøre. Jeg ønsker at leve i en verden, hvor vi beviser, at den software, vi stoler på, er korrekt.

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

I de senere år er der udviklet teoretiske metoder til verificeret software, der understøtter modulær verifikation. Udfordringen er at udvikle og anvende disse metoder, så de kan bruges nemt af programmører, der ikke er eksperter i at bevise at software er korrekt, og til store softwareprojekter. Så meget automatisering af verifikationsprocessen som muligt er et vigtigt skridt i denne retning.

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

Sapere Aude-programmet vil hjælpe mig til at etablere mig selv som en selvstændig forsker i mit felt.

Gymnasium og bopælskommune

Student fra Hutchesons’ Grammar School og bopæl i Aarhus Kommune.

Forskningsprojektets videnskabelige titel

Automated Verification for Concurrent Programs.

Kontaktoplysninger

Thomas Dinsdale-Young. Telefon: 8715 6286, e-mail: tyoung@cs.au.dk

Forskningsinstitution

Aarhus Universitet.

Senest opdateret 14. december 2015