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.
Estudiantes graduados: Maestría
  • 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
Autómatas y Lenguajes Formales C-3/21
Tópicos Selectos de Matemáticas I C-2/21
Lógica C-1/21
Autómatas y lenguajes formales C-3/20
Tópicos selectos de matemáticas I C-2/20
Lógica C-1/20
Autómatas y lenguajes formales C-3/19
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