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)