Centro de Investigación y de Estudios Avanzados del
Instituto Politécnico Nacional

Dr. Raúl Ernesto González Torres


Datos personales
Nombre: Raúl Ernesto González Torres
Página personal: Enlace
Escolaridad: PhD, especialidad Matemáticas (1987), University of Houston, Texas, Estados Unidos
Posición y categoría actual: Investigador Cinvestav 2C.
Nivel SNI: S/SNI
Líneas de investigación Verificación formal de Software. Prueba Automática de Teorema. Teoría de la demostración para lógicas no clásicas. Aplicaciones de la lógica en Ingeniería y Computación.
E-mail: raul.gonzalez@cinvestav.mx
  • "A geometric study of cores of idempotent stochastic matrices". González-Torres, Raúl E., Linear Algebra and its Applications, 527C (2017), pp. 87-127. Available online 4 April 2017, printed on August 2017. Ed. Elsevier.
  • “Implementación de un Criptosistema Basado en Látices. Cifrado Basado en Identidad”. Diego Armando Retana García y Raúl Ernesto González. Vigésimaséptima Reunión Internacional de Otoño, IEEE RC&C’ 2017, Acapulco Gro., del 27 al 30 de noviembre del 2017.
  • “Authenticated Encryption Based on Finite Automata Cryptosystems”. Pedro Ivan Salas and Raúl Ernesto González. 13th International Conference on Electrical Engineering, Computing Science and Automatic Control (CCE 2016), Mexico City, Mexico. Sep. 26 – 30, 2016. IEEE Catalog Number 978-1-5090-3511-3.
  • "A Geometric Description of the Maximal Monoids of Some Matrix Semigroups". González-Torres, Raúl E., Linear Algebra and its Applications, 466C (2015), pp. 483-500. Available online 5 November 2014, printed on February 2015. Ed. Elsevier.
Publicados en extenso en memorias de congresos internacionales, con arbitraje
  • Automatic Test Cases Generation for C Written Programs Using Model Checking. Daniset Gonzalez Lima, González-Torres, Raúl E. and Pedro Mejía Alvarez. International Conference on Computational Science and Computational Intelligence (CSCI) 2021-12-15 - 2021-12-17 Las Vegas, Nevada, EUA. p. 1-7. 2021
  • Automatic Generation of Test Cases from Formal Specifications using Mutation Testing. Roman Jaramillo Cajica, González-Torres, Raúl E. and Pedro Mejía Alvarez. 18th International Conference on Electrical Engineering, Computing Science and Automatic Control (CCE) 2021-11-10 - 2021-11-12 Mexico City, Mexico. p. 1-6. 2021.
Estudiantes graduados: Maestría
  • Jaramillo Cajica Román. "Generación automática de casos de prueba basada en especificaciones formales usando pruebas por mutación." Ingeniería Eléctrica. Director(es) de tesis: Dr. Raúl Ernesto González Torres. 2021-12-16.
  • González Lima Daniset. "Generación automática de casos de prueba de programas escritos en C usando comprobación de modelos." Ingeniería Eléctrica. Director(es) de tesis: Dr. Raúl Ernesto González Torres. 2021-12-16.
  • Corona Ventura, Francisco Miguel. "Phytia: Un Lenguaje para la Generación de Casos de Prueba." Ingeniería Eléctrica. Director de tesis: Dr. Raúl Ernesto González Torres. 2019-01-11.
  • Retana García, Diego Armando. "Implementación de Criptosistema Basado en Látices. Cifrado Basado en Identidad." Ingeniería Eléctrica. Director de tesis: Dr. Raúl Ernesto González Torres. 2018-02-28.
  • Santiago Ventura, Heidi Viridiana. "Pruebas interactivas y sus aplicaciones en la teoría de la complejidad y la criptografía." Ingeniería Eléctrica. Director de tesis: Dr. Raúl Ernesto González Torres. 2018-02-28.
Materia Periodo
Lógica C-1/22
Autómatas y Lenguajes Formales C-3/21
Tópicos Selectos de Matemáticas I C-2/21
Lógica C-1/21

Semana de la Computación (CinvesGDLComp 2022)

Título de la conferencia Conferencia Link
Exposición del Dr. Raúl González Torres Dr. Raúl González Torres Youtube
Centro de Investigación y de Estudios Avanzados del Instituto Politécnico Nacional
Av. del Bosque 1145, colonia el Bajío, CP 45019, Zapopan , Jalisco, México.
Tel: (33) 3777-3600 Fax: (33) 3777-3609