Investigador en lógica y filosofía de la lógica, con especial énfasis en lógicas de orden superior, traducción entre lógicas, teoría de modelos, lógicas modales y lógicas paraconsistentes. Su trabajo se centra en el estudio de las relaciones estructurales entre distintos sistemas lógicos y en la formalización de mecanismos de traducción que preserven propiedades semánticas y deductivas entre ellos.

Ha participado en diversos congresos nacionales e internacionales en los ámbitos de la lógica matemática y la filosofía analítica, y ha publicado artículos en revistas académicas especializadas, entre ellas Logic and Logical Philosophy, así como capítulos en obras colectivas dedicadas a la filosofía de la lógica y la filosofía de la ciencia.

Actualmente cursa el Doctorado en Lógica y Filosofía de la Ciencia en la Universidad de Salamanca, bajo la dirección de María Manzano, desarrollando una investigación orientada a la traducción de lógicas con semántica de Kripke a la lógica multivariada MSL.

ORCID:
https://orcid.org/0000-0002-8972-5061

Áreas de investigación:
Lógica clásica, lógicas modales, Lógicas de orden superior, Metalógica, Filosofía de la lógica,