He received Ph.D. from the University of Texas at Austin. His research interests are in knowledge representation, logic programming and computational logics. A part of his work on relating nonmonotonic logics to classical logic won him an Outstanding Paper Honorable Mention Award at AAAI 2004.