* Autómatas y Lenguajes Formales (2º curso del Grado en Ingeniería Informática)
  * Modelos de Computación (4º curso del Grado de Ingeniería Informática. Mención de Computación)
  * Conocimiento y Razonamiento Aproximado (Máster Universitario en Inteligencia Artificial)