Dr. Raúl Ernesto González Torres

Print This Page

Inicio

  • Matemático, Universidad Autónoma de Guadalajara, (1974).
  • Maestro en Ciencias, Especialidad en Matemáticas, Universidad de Houston, (1982).
  • Doctor en Filosofía Especialidad en Matemáticas, Universidad de Houston, (1987).
  • Líneas de Investigación:
    -Verificación formal de Software.
    -Prueba Automática de Teorema.
    -Teoría de la demostración para lógicas no clásicas.
    -Aplicaciónes de la lógica en Ingenieria   y Computación.
 


Página siguiente: Contacto