============== A. Rensink ============== - Arend - 1964 - promotie Enschede 19 augustus 1993 - proefschrift: Models and methods for action refinement. - promotor: H. Brinksma. - Universitair Hoofddocent Software Engineering bij de faculteit INF (Besluit CvB d.d. 3 oktober 2000) - hoogleraar Software modelling, transformation and verification - Graven in software. -- Intreerede Enschede 10.11.2011.