Experience
    Education
    Bio
    Research Interests databases; information integration; data streaming; logic and its applications to computer science (in particular, finite model theory); complexity theory