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