|
Guillermo-Morales
Luna Guillermo González es Profesor Titular en el Centro de Investigación y Estudios Avanzados del IPN (CINVESTAV-IPN) en la ciudad de México, adscrito al Departamento de Ingeniería Eléctrica, en su Sección de Computación. Sus áreas de interés son la lógica matemática (teoría de modelos, aritmética de Peano, teoría de la demostración, demostración automática de teoremas) y los fundamentos matemáticos de la computación (funciones recursivas, autómatas y lenguajes formales, complejidad y algoritmos). |