Guillermo Benito Morales Luna

Guillermo Benito Morales Luna
Researcher CINVESTAV 3-B
Department of Computer Science
Av. IPN No. 2508 Col. San Pedro Zacatenco
Mexico, D.F. 07360. MEXICO
Level in the National System of Researchers: 1
Personal page:

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

Excelencia en Investigación

y Posgrado


· PhD in Mathematics, Polish Academy of Science, Poland, 1984.
· MSc in Mathematics, CINVESTAV-IPN, Mexico, 1978.
· BSc in Physics and Mathematics, ESFM, National Polytechnic Institute (IPN), Mexico, 1976.

Research Interests

His major research interests are in mathematical logic (model theory, Peano arithmetic, proof theory, automatic theorem proving), the mathematical foundations of Computer Science (recursive functions, formal languages and automata, complexity, algorithms), and cryptography.

Keywords:   theoretical computer science, mathematical logic, cryptography.

Selected Publications

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.