Education
· 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.
|
|
