De semantiek van computeralgebra
Promotie Informatica
dinsdag 13 februari, 10.00 uur
Duong Vu deed onderzoek naar semantiek en toepassingen van proces- en programma-algebra, algebraïsche kaders voor formalisering en analyse van systeemgedrag en computerprogramma's. Zij draagt oplossingen aan voor twee problemen met betrekking tot orthogonale bisimulatie, een semantische equivalentie die te maken heeft met abstractie in de procesalgebra. Daarnaast bestudeerde ze de semantiek van de thread algebra, een procesalgebra voor de semantiek van recente objectgeoriënteerde en multithreaded programmeertalen zoals C# en Java. Binnen de programma-algebra zelf onderzocht ze de expressiviteit van uitbreidingen met conditionele constructies en de zogeheten zolang-lus. Verder laat Vu zien dat verscheidene noninterferentiebegrippen op het gebied van de taalgebaseerde beveiliging gedefinieerd kunnen worden met behulp van de thread algebra, en gebruikt ze programma-algebra om de correctheid te bewijzen van algoritmen en transformatieregels voor goto-verwijdering (goto is een statement binnen programmeertalen dat ervoor zorgt dat de uitvoering op een ander punt in een programma verdergaat).
Mw. T.D. Vu: Semantics and Applications of Process and Program Algebra. Promotor is prof. dr. J.A. Bergstra.
Meer informatie over de items in deze agenda kunt u krijgen bij de afdeling Persvoorlichting, tel. 020 - 525 2695, e-mail:
Universiteit van Amsterdam