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.