I am currently working as an artificial intelligence engineer in Schlumberger Ltd. Previously I obtained my Ph.D degree on computer science, from UT-Austin. My research interests are knowledge representation and reasoning, commonsense reasoning and automated planning. I focus on both theoretical aspect of logic formalism and their wide applications, in particular, to mobile robots and oil and gas domains.