Dr. Guillermo Benito Morales Luna

     

Guillermo Benito Morales Luna
Investigador CINVESTAV 3-B
Departamento de Computación
CINVESTAV-IPN
Av. IPN No. 2508 Col. San Pedro Zacatenco
Mexico, D.F. 07360. MEXICO

Nivel en el Sistema Nacional de Investigadores: 1
Página personal:  http://delta.cs.cinvestav.mx/~gmorales

Tel:  +52 55 5747 3759 x 6565
Fax:   +52 55 5747 3757


Excelencia en Investigación

y Posgrado

Educación
· Dr. en Matemáticas, Academia Polaca  de Ciencias, Polonia 1984.
· M.C. en Matemáticas, CINVESTAV-IPN, México 1978.
· Lic. en Física y Matemáticas, ESFM, Instituto Politécnico Nacional (IPN), México 1976.

Áreas de investigación

Sus áreas actuales de interés son en lógica matemática (teoría de modelos, aritmética de Peano, teoría de la demostración, demostración automática de teoremas), los fundamentos matemáticos de la computación (funciones recursivas, autómatas y lenguajes formales, complejidad y algoritmos) y criptografía.

Palabras Clave:   teoría de la ciencia computacional, lógica matemática, criptografía.

Publicaciones Selectas

1. Edscott Wilson García and Guillermo Morales-Luna, Design of the Force Field Task Assignment Method and Associated Performance Evaluation for Desktop Grids, in Hai Zhuge and Geoffrey Fox (Eds.), Grid and Cooperative Computing - GCC 2005, 4th International Conference (GCC 2005), pp. 1009--1020, Springer-Verlag, Lecture Notes in Computer Science Vol. 3795, Beijing, China, November 30 - December 3, 2005.
 

2. Valery I. Korzhik, Guillermo Morales-Luna and Moon Ho Lee, On the Existence of Perfect Stegosystems, in Mauro Barni, Ingemar J. Cox, Ton Kalker and Hyoung Joong Kim (Eds.), Digital Watermarking, 4th International Workshop, IWDW 2005, Siena, pp. 30--38, Springer-Verlag, Lecture Notes in Computer Science Vol. 3710, Siena, Italy, September 15-17, 2005.

3. Valery I. Korzhik and Guillermo Morales-Luna, Hybrid authentication based on noisy channels, International Journal of Information Security, Vol. 1, No. 4, pp. 203--210, July 2003.

4. V. Sailer and Guillermo Morales-Luna, On the Polynomial Representation of Generalized Liouville Operators, Journal of Symbolic Computation, Vol. 12, No. 3, pp. 373--380, 1991.

5. Zofia Adamowicz and Guillermo Morales-Luna, A Recursive Model for Arithmetic with Weak Induction, The Journal of Symbolic Logic, Vol. 50, No. 1, pp. 49--54, 1985.