About me
I am a research postgraduate student in the School of Informatics, University of Edinburgh and member of Centre for Intelligent Systems and their Applications. I am also a DReaMer. My studies are sponsored by Universidad Politécnica de San Luis Potosí, México and SEP-PROMEP.
I work under the supervision of Dr. Roy McCasland, Prof. Alan Bundy and Dr. Lucas Dixon. My research work deals with finding a mechanism for helping a user to explore a mathematical theory and discover relevant theorems.