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 3A
Nivel SNI:
Líneas de investigación Verificación formal de sistemas de eventos discretos. Prueba automática de teoremas. Aplicaciones de la Lógica en Ingeniería y Computación. Criptografía. Álgebra Lineal y Geometría.
E-mail: [email protected]

  • González-Torres, Raúl E., "A geometric study of cores of idempotent stochastic matrices". Linear Algebra and its Applications, 527C (2017), pp. 87-127. Available online 4 April 2017, printed on August 2017. Ed. Elsevier.
  • Diego Armando Retana García y Raúl Ernesto González, “Implementación de un Criptosistema Basado en Látices. Cifrado Basado en Identidad”. Vigésimaséptima Reunión Internacional de Otoño, IEEE RC&C’ 2017, Acapulco Gro., del 27 al 30 de noviembre del 2017.
  • Pedro Ivan Salas and Raúl Ernesto González, “Authenticated Encryption Based on Finite Automata Cryptosystems”. 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.
  • González-Torres, Raúl E., "A Geometric Description of the Maximal Monoids of Some Matrix Semigroups". 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/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