Perspective on a life in Program Verification

Willem Paul de Roever

(Christian-Albrechts University at Kiel, Germany)

After giving a short overview of my own research and that of my collaborators, I address the main problems the field of Program Verification is facing as of now, and will proceed which mentioning what are its most promising directions, in my opinion.

Throughout the talk references will be given to the main publications in the field, from a historical point of view, mentioning the role of the publications contained in the History of Computing Collection, especially, on Program Semantics, Specification and Verification, which are part of my former archive now gratefully donated to the University of Swansea.
Tuesday 21st April 2009, 14:00
Robert Recorde Room
Department of Computer Science