Mieke Massink

Mieke Massink studied Computer Science at the University of Nijmegen (now Radboud University Nijmegen) where she graduated in 1988 in Computer Science. In 1989 she was research assistant at the University of Twente and teaching assistant at the University of Nijmegen. From 1989 to 1995 she was employed by the Dutch Organisation for Scientific Research (NWO) in the research group on declarative formalisms at the University of Nijmegen were she received her Ph. D. degree in 1996 with Prof. dr. ir. R. T. Boute. Her thesis was a study on a Functional Approach to Concurrency Theory combining declarative specification techniques with those of process algebra.