I have moved to CWI (Centrum Wiskunde & Informatica) in the Netherlands.

Please visit my new web page there!