Francisco Félix Lara Martín

Profesor Titular de Universidad

Asignaturas impartidas durante el curso 2022-2023:

• Primer Cuatrimestre:
  • Ciencias de la Computación (Cuarto curso, Grados en Matemáticas)
  • Lógica Computacional y Teoría de Modelos. (Máster Universitario en Matemáticas)
• Segundo Cuatrimestre:
  • Modelos de Computación y Complejidad. (Cuarto curso, Grado en Ingeniería Informática (Tecnologías Informáticas)).

Horario de tutorías (primer cuatrimestre):

• Lunes de 12:30 a 14:30.
• Martes y Miércoles de 10:30 a 12:30.

Investigación

• Soy miembro del Grupo de Lógica Matemática del Depto. de Ciencias de la Computación e Inteligencia Artificial de la Universidad de Sevilla.
• Áreas de Interés:
  • Lógica Matemática. Teoría de modelos.
  • Subsistemas de la Aritmética de primer y segundo orden. Modelos de la Aritmética.
  • Teoría de la complejidad implícita. Clasificación de funciones computables.
  • Aplicaciones de la lógica matemática en las ciencias de la computación.
• Líneas de investigación:
  • Aplicaciones de la teoría de modelos. En particular, aplicaciones de la teoría de modelos al estudio de propiedades de fragmentos de la Aritmética (y en general de teorías aritméticas débiles): axiomatización finita, conservación, funciones recursivas demostrablemente totales, ...
• En junio de 2007 nuestro grupo de investigación organizó la vigésimo sexta edición de las "Jornadas sobre las Aritméticas Débiles", JAF26 (26th Weak Arithmetics Days)
• En septiembre de 2012 hemos celebrado las Jornadas en memoria del profesor Alejandro Fernández Margarit "Lógica Matemática en España".