Docencia

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.

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.

Aprendizaje Automático del Máster Oficial en Ingeniería Informática de la Universidad de Sevilla, desde 2018 hasta la actualidad.

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.

Aprendizaje por refuerzo en juegos: La plataforma GYM, Paloma Carrasco Fernández, 2021.
Integración en Web de sistemas basados en conocimiento: El juego de los gatos y el ratón., Luis Cristóbal Cedeño Valarezo, 2020.
Integración en Web de sistemas basados en conocimiento: El juego Ratsuk, Manuel Casas Alaminos, 2019.
Aplicando Deep Forecast a la red de estaciones de Sevici, Juan Pablo Navarro Sánchez, 2019.
Clasificación de frutas mediante el análisis de imágenes con Deep Learning, Ana María Prado Machado, 2018.
Sistema experto para la diagnosis y tratamiento de la migraña, Antonio Sánchez Cabanillas, 2019.
Aprendizaje por refuerzo aplicado a la resolución del Cubo de Rubik, Camilo Abel Monreal Agüero, 2019.
Sistema experto para la verificación de secuencias de acordes de armonía clásica, Fernando Reyes Jurado, 2019.
Algoritmos genéticos en CLIPS, José Luis García Sánchez, 2019.
Sistema experto preparador deportivo, Miguel Ángel Terrón Morgado, 2017.
Software de soporte para la decisión de cirugía plantar, Rafael Rodríguez León, 2016.