Menu:

Latest news:

March 31-03, 2009:

CIAO-09

June 29-30, 2009:

AUTOMATHEO'09

July 14-15, 2010:

AUTOMATHEO'10

August 03-05, 2010:

CIAO-10

Contact info:

Is available here.

Links:

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.