Hi, my name is Wieger and I am a lecturer and scientific programmer in the Formal Systems Analysis (FSA) group.
I am involved in the development of the mCRL2 Toolset.
I have been working at the IPO, center for user system interaction. There I was involved with Talking Faces, programming by voice and the Visual Interaction Platform.
Before that I have worked at Utrecht University on the CGAL library, a C++ library for computational geometry algorithms.
I have written a Ph.D. thesis about `variational modeling of curves and surfaces'. Click here for a picture of a surface that is color encoded with the curvature. Click here for a picture of a surface that was deformed by some operators. Download my thesis The code that I have written to do experiments can be downloaded here: http://www.win.tue.nl/~wieger/thesis/phd-wesselink-1.0.zip.