My name is Evan Goris. Since fall 2004, I am a Ph.D. student at the Research Laboratory for Logic and Computation (Computer Science Department) of the City University of New York. Before I came to New York I studied Mathematical Logic at the University of Amsterdam. I also worked a few months at ILPS (Informatics Institute, University of Amsterdam).