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

Docencia:

Asignaturas impartidas durante el curso 2018-19:

• Informática (Grado en Matemáticas).
• 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 2018-19):

• Lunes, de 10:30 a 13:30 horas.
• Miércoles, de 10:30 a 13:30 horas.

Investigación/Research:

• Grupo de Lógica Matemática / Seville Mathematical Logic Group