Mieke Massink
![](https://www.scienzainrete.it/files/styles/large/public/miekebytine.jpg?itok=1S8JGeen)
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.