I'm interested in Computational Logic in general, and particuarly in the context of Knowledge Representation and Reasoning.

I'm a member of the Knowledge Based Systems Group since September 2006 , where I'm doing my Ph.D. research under the supervision of Thomas Eiter.
Currently I'm working on Complexity of Querying Expressive Knowledge Bases, in collaboration with Diego Calvanese.

I was born in Puebla, Mexico.
I studied Computer Science at the Universidad de las Americas, Puebla where I obtained a B.Sc. degree in 2003 and a M.Sc. in 2004.
I was a member of the research group on Answer Set Programming lead by Mauricio Osorio.

I also obtained a European Masters in Computational Logic in 2006, after studying at the Free University of Bolzano and in the Vienna University of Technology.