- 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)