Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla

Docencia:

Asignaturas impartidas durante el curso 2021-22:

• Lógica Informática (Ingeniería Informática - Ingeniería del Software)
• Lógica Informática- Docencia en inglés (Grado en Ingeniería Informática)
• Teoría de Modelos (Máster Universitario en Lógica, Computación e Inteligencia Artificial)
• Lógica Computacional y Teoría de Modelos (Máster Universitario en Matemáticas)

Horario de tutorías (Primer Cuatrimestre del curso 2021-22):

• Lunes, de 10:00 a 12:00 horas y de 16:30 a 17:30 horas.
• Viernes, de 10:00 a 13:00 horas.

Investigación/Research:

• Seville Mathematical Logic Group.