Logotipo de Universidad de Sevilla
VICERRECTORADO DE INVESTIGACIÓN
Logotipo Andalucía Tech
Letras Universidad de Sevilla

Ficha personal - Agustín Riscos Fernández


Agustín Riscos Fernández
Telefono: 95.455.79.47
Email: Solicitar correo

Departamento/Unidad: Ciencias de la Computación e Inteligencia Artificial
Situación profesional: Profesor Titular (Universidad)

Participa en los siguientes proyectos/ayudas en la US:

  • Ayuda a la investigación:
    • Ayuda a la Consolidación del Grupo de Investigación TIC-137 (2007/TIC-137 - Investigador)
    • Ayuda a la Consolidación del Grupo de Investigación TIC-137 (2006/TIC-137 - Investigador)
    • Ayuda a la Consolidación del Grupo de Investigación TIC-137 (2005/TIC-137 - Investigador)

Cobertura de la base de datos de proyectos, véase aqui


Publicaciones:

Libros
Medina Bulo, María Inmaculada, Riscos Fernandez, Agustin:
Lambda-Cálculo Clásico: Estrategias de Reducción. Santander (ESPAÑA). Departamento de Ciencias de la Computacion e Inteligencia Artificial. Universidad de Sevilla. 1999

Tesis dirigidas y co-dirigidas:


Alonso Jimenez, Jose Antonio:
Métodos Algebraicos de Razonamiento Automático. Tesis Doctoral. 1988

Vicerrectorado de Investigación. Universidad de Sevilla. Pabellón de Brasil. Paseo de las Delicias s/n. Sevilla