Trabajos dirigidos
Tesis doctorales
- Programación celular: resolución eficiente de problemas numéricos NP-completos Tesis doctoral de Agustín Riscos Núñez, codirigida por Mario Pérez Jiménez y Miguel A. Gutiérrez Naranjo. La defensa se realizó el 23 de Septiembre de 2004, obteniendo la calificación de Sobresaliente cum Laude.
Trabajos de Investigación
- Membrane Systems with Promoters/Inhibitors. From Computational Universality to Algorithms. Dragos Sburlan. El trabajo fue presentado el 7 de octubre de 2004, obteniendo la calificación de Sobresaliente.
Proyectos Fin de Carrera
Finalizados
- Programacióon Lógica Inductiva: Estudio de Aleph presentado de manera conjunta por Laura Mateos Párraga y Antonio Marín Fernández el 21 de Septiembre de 2000.
- Un asistente gráfico para la enseñanza de Prolog presentado por Rafael Budía Ruíz el 27 de Junio de 2003. Codirigido con Andrés Cordón Franco.
En realización
- Herramienta educativa para la Lógica Proposicional y de Primer Orden
- Problemas de vida y muerte en el Go
- Análisis de la Inteligencia Artificial en el juego FreeCiv
Miguel A. Gutiérrez Naranjo
Dpto. de Ciencias de la Computación e Inteligencia Artificial
Universidad de Sevilla