Gijs has a MSc degree in Computer Science from the University of
Twente (The Netherlands) and is working on a PhD in verification of the
correctness of systems, based on formal logics and games using high
He is an experienced programmer, writing high-performance parallel code
when necessary, but also building well designed web applications.