IPA zoekt samenwerking met buitenlandse instituten

van De Redactie
Vorige week organiseerde de onderzoekschool IPA (Instituut voor Programmatuurkunde en Algoritmiek) in Veldhoven een internationaal congres over embedded systems. Medewerkers van universiteiten en het bedrijfsleven wisselden ervaringen uit op het gebied van apparaten en machines met ingebouwde software. Een van de belangrijkste sprekers was prof. Amir Pnueli van het Weizmann Instituut in Israël. Pnueli ontwikkelde de temporele logica en wordt hiervoor volgend jaar onderscheiden met de Turing Award, ook wel de ‘Nobel-prijs’ voor de informatica genoemd.
IPA is een anderhalf jaar oude onderzoekschool waaraan zeven Nederlandse universiteiten en het Centrum voor Wiskunde en Informatica meewerken. De TUE is momenteel penvoerder. Donderdag ondertekende wetenschappelijk directeur van het IPA, prof.dr. Jos Baeten (rechts op de foto), een samenwerkingsovereenkomst met BRICS (Basic Research in Computer Science) uit Denemarken en TUCS (Turku Centre for Computer Science) uit Finland, medeorganisatoren van dit congres.

Foto: Daan Kers