Programas de Doctorado
- Codirección de la tesis doctoral Formalización en Isar de la metalógica de primer orden de D. Fabián Fernando Serrano Suárez. La tesis fue defendida en la Universidad de Sevilla el 12 de junio de 2012 obteniendo una calificación de sobresaliente cum Laude por Unanimidad.
Titulaciones de Máster
Docencia
- Docencia de la asignatura Representación del Conocimiento y Razonamiento del Máster Universitario en Ingeniería Biomédica y Salud Digital de la Universidad de Sevilla, desde 2019 hasta la actualidad.
- Docencia de la asignatura Aprendizaje Automático del Máster Oficial en Ingeniería Informática de la Universidad de Sevilla, desde 2018 hasta la actualidad.
- Docencia de la asignatura Ingeniería del Conocimiento del Máster Universitario en Lógica, Computación e Inteligencia Artificial de la Universidad de Sevilla, desde 2010 hasta la actualidad.
Titulaciones de Grado