I am a member of the Information Technology and Telematics Academy at the Polytechnic University of San Luis Potosí. I did my PhD in the Mathematical Reasoning Group at the University of Edinburgh. My research work deals with finding a mechanism for helping a user to explore a mathematical theory and discover relevant theorems and definitions.

Formato de Archivo de Residencias Profesionales