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.