Experience
Education
Bio
My research inetrests include knowledge representation and reasoning, reasoning about time and space, logics in AI, stream reasoning, and computational complexity. I am mainly working on computational complexity and expressive power of various logics, e.g., temporal logics, interval logics, metric logics, modal logics, description logics, and Datalog.