Fokkink, Wan (Professor of theoretical computer science at the Vrije Universiteit Amsterdam, Vrije Universiteit Amsterda