Doctor en Tecnologías de Información - UdeG - 2012
Maestro en Ciencias de la Computación - IIMAS - UNAM -1997
Licenciado en Computación - UAM-I - 1992
Matemático con especialidad en Ciencias de la Computación - UNAM - FAC. CIENCIAS - 1993

Actualmente el Área de conocimiento es Inteligencia Artificial, la línea de investigación es representación del conocimiento basada en lógica. El campo de estudio son las Ontologías y la Web Semántica. Los temas principales son sus aplicaciones:

• Verificación de ensamblado de componentes de software por medio de tecnologías de la Web Semántica (Ontologías, Razonadores, consultas semánticas con SPARQL)
• Uso de Ontologías para lenguaje natural
• Identificación de Dominios para Robots basada en la búsqueda bajo Web de Ontologías de Dominio existentes.
• Análisis de Trazas de Ejecución de Programas por medio de Ontologías, Razonador Pellet y consultas semánticas con SPARQL.
• Verificación de Ensamblado de Circuitos Lógicos por mediot de tecnologías semánticas. 
• Verificación autómatica y descripción de Autómatas Finitos Determinísticos por medio de Tecnologías Semánticas.
• Enseñaza de los circuitos lógicos por medio de un Framework semántico.

Profesor de tiempo completo, Universidad Autónoma de San Luis Potosí, Área de Computación e Informática. Profesor del Posgrado en Computación. Impartición de los cursos de Introducción a la programación, Introducción a los Circuitos Lógicos, Ingeniería de Software B, Bases de Datos A y Estructuras de Datos y Algoritmos B.

1. Tesis de Doctorado, Predicción de comportamiento de Software mediante uso de trazas de ejecución y ontologías, Manuel Corona Pérez, Doctorado en Tecnologías de información, Universidad de Guadalajara, Centro de Estudios de Ciencias Económico Administrativas (CUCEA), 26-Junio-2015.
   
2. Tesis de Maestría, Definición de una Ontología basada en Web, Beatriz Rocha, Posgrado en Ingeniería
   y Ciencias de la Computación, Universidad Autónoma de San Luis Potosí, Junio 2008.
3. Tesis de Licenciatura, Programación de una componente estereoscópica, Área de Computación e
   Informática, título de Ingeniero en Informática, Rios Lucio, Mayo 2008.
4. Tesis de Maestría, Estimación de Flujo Óptimo Mediante Wavelets, Héctor Eduardo Medellín Anaya, Universidad Autónoma de San Luis Potosí. 28 de Febrero de 2006, 18:00 horas.
5. Tesina, Desarrollo de Aplicaciones de Negocios Electrónicos,
   Edgardo A. Cantú Molina, Universidad del Valle de México, Campus Lomas Verdes, Naucalpan, Edo. De México 2000.
6. Tesis, La Minería de Datos como propuesta para La Detección de Fraudes Bancarios, Mateos Espinosa Juan Gerardo, Centro de Estudios Universitarios Londres, Campus Luis Cabrera, México, D.F. 1999.
7. Tesis, Implantación del Tiempo Real en PC´s para el Nuevo Milenio, Maria del Pilar Cepeda Rico,
   Universidad del Valle de México, Campus Lomas Verdes,
   Naucalpan, Edo. De México Septiembre 1999.

• ISUM 2011, 2nd International Supercomputing Conference in Mexico, “Towards a Social Networks‐Based Architecture to improve internal communication inside big‐size companies and institutions”, del 21 al 25 de Marzo, 2011, San Luis Potosí, SLP, México.
• Seventh Latin American Workshop on Logic / Languages, Algorithms and New Methods of Reasoning 2011 (LANMR’11), “ Knowledge Capitalization in a Component‐Based Software Factory: a Semantic Viewpoint”, 7 y 8 de Noviembre, 2011, Universidad Autónoma del Estado de México, Toluca, Mexico.
• Knowledge‐Oriented Product Line Engineering (KOPLE 2011), “Towards an Ontology‐Based Approach for Deriving Product Architectures”, Dr.Héctor A. Durán‐Limón, Dr. Roberto E. López‐Herrejon, Munich, Germany, del 22 al 26 de Agosto, 2011.
• 1er Taller de Investigación y Escuela Temática de los Datos al Conocimiento, ”Towards a Semantic Technique for Determining the Matching of Software Components”, redtic, CONACYT, Universidad de las Américas Puebla (UDLAP), 23, 24 y 25 de Junio de 2011.
• LA Grid Summit 2011, International collaboration PANEL, “Opportunities and Challenges of International Research Collaborations”, Boca Raton, Florida, USA, 3 y 4 de Noviembre, 2011.
• The Seventh International Conference of Intelligent and Information Technologies, “An Ontology proposal for Semantic Checking on Imposed Restrictions by Application Design in Component based Software Assembling”, Apizaco, Tlaxcala, México, del 25‐29 de Octubre, 2010.
• 6th International Conference Formal Ontology in Information Systems (FOIS 2010), \"An Ontology
  for Classifying, Searching and Matching Software Components in a Software Factory Framework\",
  Toronto, Canada, del 11 al 14 de Mayo, 2010.
• The 2009 International Conference on Artificial Intelligence ICAI’09, Worldcomp 2009 “Using a 3D Animated, Natural Speech, Logic‐Based Agent as a School’s Web site guide and course advisor”, Las Vegas, Nevada, USA, del 13 al 16 de Julio de 2009.
• Congreso Interamericano de Computación Aplicada a la Industria de Procesos, 9o CAIP\'2009, “Ontología para un Sistema de Calidad Automotriz basado en la Norma ISO/TS 16949”, Co‐author Beatriz Rodríguez‐Rocha, tesis de maestría, Montevideo, Uruguay, 25 al 28 de Agosto de 2009.
• Electronics, Robotics and Automotive Mechanics Conference, CERMA 2009, “Knowledge Capitalization in the Automotive Industry Using an Ontology Based on the ISO/TS 16949 Standard”, Cuernavaca, Morelos, México, del 22 al 25 Septiembre, 2009.
• The 2008 International Conference on Artificial Intelligence ICAI’08, Worldcomp 2008 “Using LSystem Grammars for Music Automatic Generation”, Las Vegas, Nevada, USA, del 14 al 17 de Julio de 2008.
• EXPRIME 2008, II Congreso Latinoamericano de Estudiantes de Matemáticas, Abril 22‐24, 2008, San Luis Potosí, S.L.P.
• Congreso Interamericano de Computación Aplicada a la Industria de Procesos, 9o CAIP\'2007, “Proposal for the Detection of noise Defective DC Motors using an Architecture Base don Artificial Neural Networks”, Omar Pizaño y Francisco E. Castillo, Paraguay, 1 al 5 de Julio de 2007.
• Primer congreso Nacional de Ciencias Computacionales CONACICO, Ponencia sobre “Composición Musical Algorítmica Usando L‐Systems y Java para Generar Secuencias Musicales”. Del 22 al 24 de Febrero de 2006, Zacatecas.
• Congreso Internacional WMSCI2005 , The 9th World Multi‐Conference on Systemics, Cybernetics and Informatics, “An Animated Agent with Natural Speech as a Guide at a Tourist Web Site ”, del 10 al 13 de Julio de 2005, Orlando, Florida, USA.
• Congreso Internacional WMSCI2005 , The 9th World Multi‐Conference on Systemics, Cybernetics and Informatics, “Using Algorithmic Musical Composition in Java to Generate Musical Sequences ”, del 10 al 13 de Julio de 2005, Orlando, Florida, USA.

• Un Modelo basado en tecnologías de la Web Semántica para la verificación automática de contratos entre componentes de software, Facultad de Ingeniería, proyecto PROMEP, Marzo 2013 - Agosto 2014.
• Generación de horarios para todos los alumnos de primer ingreso a la Facultad de Ingeniería Julio‐Agosto, 2011. Sistema de Asignación de Horarios para Alumnos de Primer Ingreso de la Facultad de Ingenieria (SAHOAPI), versión IV.
• Programa de Resultados Electorales Preeliminares (PREP), Sistema en tiempo real de generación de gráficas de resultados. Consejo Estatal Electoral, San Luis Potosí, México, del 1ro de Junio al 3 de Julio de 2006. Consultor.
• Sistema de Consulta de Evaluación de Profesores (SICEP), Facultad de Ingeniería Fases I y II, del 2005 al 2007.
• Sistema de Asignación de Horarios para Alumnos de Primer Ingreso de la Facultad de Ingenieria Fases I, II, III y IV (SAHOAPI), del 2005 a la fecha.
• Detección de fraudes electorales, utilizando Visionics y Object Store, IFE.

Organizador principal y responsable del Workshop on Semantic Web and Linked Open Data, SW-LOD 2013, 2nd SW-LOD 2014 y 3rd SW-LOD 2014. En donde se junta la academia y la industria para realizar proyectos conjuntos. También se tiene el vínculo con la empresa IBM en la organización del curso y examen de certificación en el manejador DB2 Express-C

• Apoyo otorgado por la AUIP Asociación Universitaria Iberoamericana de Postgrado, estancia en la Universidad de Oviedo, grupo de investigación en Web Semántica Oviedo (WESO), Dr. José Emilio Labra Gayo, España, Marzo-Mayo, 2011.
• Apoyo otorgado por Fulbright-García Robles, Comexus, Becario principal,  Dr. Masoud Sadjadi, 1ero de Agosto al 31 de Octubre, 2011, Florida International University, Miami, USA.

1. WESO, Web Semántica Oviedo, Miembro externo del grupo de investigación WESO. Febrero 27, 2011, hasta la fecha. http://www.weso.es/
2. IAOA, The International Association for Ontology and its Applications, Enero 2010 hasta la fecha.
3. ACM, Miembro Profesional de la Association for Computing Machinery (ACM), Association for Computing Machinery, Julio 2008 Hasta la fecha.
4. IEEE, Institute of Electrical and Electronic Engineers, Julio 2008 Hasta la fecha.
5. Responsable técnico de la Red Temática en Tecnologías Semánticas.

1. AUIP Asociación Universitaria Iberoamericana de Postgrado, Award, Universidad de Oviedo,
   España, Marzo-Mayo, 2011.
2. Fulbright-García Robles Award, Comexus, Becario principal, Grant, 1ero de Agosto 2011.
3. Best International Commitment, WIT8 Program Committee and the PhD in IT, 14 de Junio, 2011, Zapopan, Jalisco, México.
4. Best Student Paper Award, WIT7 Program Committee and the PhD in IT, 8 de Diciembre, 2010, Zapopan, Jalisco, México.
5. Best Student Paper Class 2008, WIT8 Program Committee and the PhD in IT, 14 de Junio, 2011, Zapopan, Jalisco, México.
6. Award, Sociedad Mexicana de Ciencias de la Computación (SMCC) y Facultad de Ingeniería de la Universidad Autónoma del Estado de México (FI-UAEMex), Toluca, México, 7 de Noviembre, 2011.
7. Primer Mexicano aceptado en la IAOA, The International Association for Ontology and its Applications, Enero 2010.
8. The Best Paper in IIIS (The International Institute of Informatics) conferences, The 9th World Multi-
   Conference on Systemics, Cybernetics and Julio 10-13, 2005 Orlando, Florida, USA, and Systemics, Fecha del reconocimiento 17-Abril-2006.
9. Obtención del Reconocimiento a Perfil Deseable y Apoyo PROMEP, Secretaría de Educación Pública, 1-Agosto-2005.
   
10. Reconocimiento por haber asesorado el trabajo ganador del Tercer Lugar en el concurso de carteles del
    Noveno Verano de la Ciencia UASLP 2003.
11. Reconocimiento por ser elegido el Consejero interno propietario representante de alumnos de la Maestría en Ciencias de la Computación.
12. “Insigne Cum Laude”, Centro de Estudios Universitarios Londres, 1996.
13. Reconocimiento por la participación en la 2da. Semana de Informática, Centro de Estudios Universitarios Londres, con la Ponencia “SEIS: Un Sistema Experto para La Enseñanza de las Matemáticas”, 24 de Julio de 1997.
14. Reconocimiento por la participación y ponencia magistral en el segundo simposium de sistemas UVM, 20 de
    noviembre de 1999.
15. Diploma por haber obtenido la Excelencia Académica en el periodo 2/98, Universidad del Valle de México, 21 de Enero de 1999.
16. Reconocimiento, por haber obtenido la Excelencia Académica en el periodo 1/99, Universidad del Valle
    de México, Naucalpan de Juárez, 18 de Agosto de 1999.
17. Reconocimiento, Por haber obtenido resultado Satisfactorio en la evaluación sustentada dentro del “Proceso de Identificación de Áreas para la Superación Profesional”, Universidad del Valle de México, campus Lomas Verdes, agosto de 1999.
18. Distinción del 1er lugar de promedio en la Secundaria Diurna Número 202.