Experience
Education
Bio
I am currently working as a postdoctoral researcher in the database theory group at UC Santa Cruz, on the principles of data exchange and data integration systems. From April - October, 2009, I was a visiting researcher at INRIA (WebDam) and ENS de Cachan (Dahu) on foundations of web data management. Before that, I was working at the University of Amsterdam (Informatics Institute, ISLA lab), where I was the principal investigator of a three-year research project on abstract model theory for logics in computer science, focusing in particular on XML query languages. In 2008, I spent half a year at UC Santa Cruz and at the IBM Almaden Research Center as a visiting researcher. I received my PhD from the University of Amsterdam in 2005 for a thesis on the model theory of extended modal languages.