Hieronder vindt u een aankondiging van een promotie die in februari 2001 plaatsvindt aan de Katholieke Universiteit Nijmegen. Plaats van de academische plechtigheid: KUN -Aula/Congresgebouw. Als u meer informatie wenst over deze gebeurtenis kunt u contact opnemen met de Afdeling Communicatie van de KU Nijmegen, telefoon (024) 361 22 30 of 361 60 00.

Do 01-02-2001 Programmeertaal voor computers
15:30 uur Mw. drs. M. Huisman (Natuurwetenschappen, Wiskunde en Informatica)
Titel proefschrift: Reasoning about Java
programs in higher order logic

using PVS and Isabelle
Promotor: Prof.dr.
H.P. Barendregt
Copromotores: Dr. B.P.F. Jacobs

Dr. Ir. H.
Meijer
Woonplaats: Sophia Antipolis,
Frankrijk

Java is een programmeertaal die tegenwoordig veel toegepast wordt, onder andere voor internetapplicaties. Omdat Java ook gebruikt wordt voor het programmeren van zgn. smart cards komt er steeds meer belangstelling voor formele verificatie van Java programma's. 1 januari is een internationaal onderzoeksproject gestart dat verder gaat met het ontwikkelen van formele verificatiemethoden voor smart cards. De promovenda beschrijft in haar proefschrift onder meer hoe de betekenis van een Java programma op een wiskundige manier beschreven kan worden. E-mail:
Marieke.Huisman@sophia.inria.fr