Postdoctoral fellow at Departamento de Matemáticas, Facultad de Ciencias, UNAM. Research interests in Logic (and its Philosophy), and Knowledge Representation and Reasoning. Particularly, in human-oriented models and tools for interactive and automated reasoning.