I work in the Coordination Languages (SEN3) theme, Software Engineering (SEN) cluster , Centrum voor Wiskunde en Informatica (CWI, National Research Institute for Mathematics and Computer Science) , Amsterdam, The Netherlands.

My room in the CWI building is room number M140, more contact information is in the CWI Persons Database.

My research interests include the semantics of programming languages, query languages, semi structured data, and proof theory. Among other things I am looking into the usability of XML for modeling, simulation, logic and formal methods.