Dr. Frank de Boer is benoemd tot hoogleraar Software Correctheid

Dr. Frank S. de Boer is per 15 februari bij de Faculteit der Wiskunde en Natuurwetenschappen benoemd tot hoogleraar Software Correctheid. De Boer blijft daarnaast als senior onderzoeker werkzaam bij het nationale onderzoeksinstituut Centrum voor Wiskunde en Informatica (CWI) in Amsterdam.

Dr. Frank S. de Boer

Verficatietechnieken
De Boer is een productieve onderzoeker wiens expertise een welkome aanvulling is op het onderzoeks- en onderwijsprofiel van het Leiden Institute for Advanced Computer Science, LIACS, in het bijzonder het cluster Foundation of Software Technology. De Boers aandacht zal uitgaan naar de integratie van technieken voor het valideren van software.

Verder is de verwachting dat de samenwerking met het CWI hechter zal worden dan nu al het geval is. Voorts zal hij zich gaan inzetten voor de organisatie van de bacheloropleiding.

Filosoof
De Boer (1956) studeerde in 1985 af in de filosofie in Groningen. In zijn studie legde hij al accenten op de wiskundige logica en de informatica. Na zijn afstuderen ging de Boer aan de slag als onderzoeker en promovendus bij het CWI, in het kader van het informatietechnologieprogramma ESPRIT van de Europese Unie.
De Boer promoveerde in 1991 in de informatica op het proefschrift Reasoning about dynamically evolving process structures - A proof theory of the parallel object-oriented language (POOL).
Na zijn promotieonderzoek heeft de Boer als onderzoeker en docent gewerkt aan de Technische Universiteit Eindhoven, de Vrije Universiteit en de Universiteit Utrecht. Sinds 2002 is hij senior onderzoeker bij het CWI en sinds 2003 UHD bij het LIACS.

Onderzoekstop
De Boer behoort tot de internationale onderzoekstop in verschillende deelgebieden van de informatica:

• programmeerlogica's en hun formele rechtvaardiging
• semantiek van programmeertalen en -concepten
• taalontwerp van coördinatietalen en agent oriented programmeertalen

Op deze deelgebieden van de informatica heeft hij een indrukwekkend aantal publicaties op zijn naam staan: 153, volgens de DBLP Bibliography Server.
Hij is lid van de onderzoeksscholen Institute for Programming Research and Algorithmics en de School voor Informatie- en Kennissystemen.

Zeventien promovendi
De Boer is coördinator van een groot aantal projecten waaronder het huidige internationale EU-project Credo. Binnen dit en diverse andere projecten begeleidt hij momenteel zeven promovendi. Onder zijn dagelijkse begeleiding als co-promotor hebben sinds 1995 a; tien promovendi hun promotie succesvol afgerond.
In de bacheloropleiding geeft hij het basisvak Logica.

Internationaal netwerk
De Boer heeft bewezen externe middelen te kunnen aantrekken voor onderzoek. Verder heeft hij een omvangrijk internationaal netwerk opgebouwd: hij was betrokken bij de voorbereiding van tientallen internationale workshops, conferenties en symposia. Momenteel is hij lid van de stuurgroep van het internationale symposium Formal Methods for Components and Objects en van de IFIP Working Group 2.2 Formal Description of Programma Concepts.

(26 februari 2008/CH)