Welcome!
From October 2005 I'm affiliated at the
Department of Computer Science,
Vrije Universiteit Amsterdam
as an assistant professor in the
Section of Theoretical Computer Science
headed by Wan Fokkink.
I am supported by the NWO grant for the project
Infinity: infinite objects, computation, modeling, and reasoning,
where the principal investigator is
Jan Willem Klop.