He is also pursuing a Ph.D. in computer science from University of Michigan and his interests include nonmonotonic reasoning, logic programming, and agents.