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

Docencia:

Asignaturas impartidas durante el curso 2022-23:

• 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)
• Sistemas Inteligentes (Ingeniería Informática - Tecnologías Informáticas)
• Teoría de Modelos (Máster Universitario en Lógica, Computación e Inteligencia Artificial)

Horario de tutorías (Primer Cuatrimestre del curso 2022-23):

• Martes, de 09:30 a 12:30 horas.
• Viernes, de 09:30 a 12:30 horas.

Investigación/Research:

• Seville Mathematical Logic Group.