Ph.D. from Radboud University Nijmegen in Computer Mathematics.