Universiteit van Amsterdam


Promotie:Studie legt interactie tussen µ-calculus en andere onderzoeksgebieden bloot


Promotie Logica

donderdag 9 december 2010, 10.00 uur

Gaelle Fontaine bestudeerde enkele model-theoretische aspecten van de modale µ-calculus. De modale µ-calculus is een formele taal die gebruikt wordt om te redeneren over programma's en processen. Een van de belangrijkste aspecten van deze taal is dat het dekpunt-operatoren bevat die gebruikt kunnen worden om recursieve eigenschappen van programma's uit te drukken. Het is een van de meest krachtige talen waarvoor men automatisch kan testen of een gegeven programma een eis vervult uitgedrukt door een formule. Fontaine verkende de model-theoretische aspecten van de µ-calculus via een fijnstructuurbenadering: ze concentreerde zich op speciale klassen van structuren en specifieke fragmenten van de taal. De methoden van Fontaine illustreren de vruchtbare interactie tussen de µ-calculus en andere onderzoekgebieden, zoals automatentheorie, speltheorie en modeltheorie. Mw. G.M.M. Fontaine: Modal fixpoint logic: some model theoretic questions. Promotores zijn dhr. prof. dr. J.F.A.K. van Benthem en dhr. prof. dr. Y. Venema.
Locatie: Agnietenkapel, Oudezijds Voorburgwal 231, Amsterdam.

Meer informatie over de items in deze agenda kunt u krijgen bij de afdeling Persvoorlichting, tel. 020 - 525 2695, e-mail: persvoorlichting@uva.nl. Onder aan deze agenda vindt u de rubriek Hoogleraarsbenoemingen.