Docente UNIR
Matemático e ingeniero informático especializado en desarrollo de software, matemáticas aplicadas y sistemas informáticos. Compagina su actividad profesional en ingeniería de software con la docencia universitaria y la investigación.
Graduado en Matemáticas y en Ingeniería Informática y cuenta con formación de posgrado en Matemáticas Aplicadas y Ciencias de la Computación. Su formación combina una sólida base matemática con conocimientos avanzados en ingeniería del software, algoritmos, sistemas informáticos, ciencia de datos y tecnologías para el desarrollo de aplicaciones.
Desarrolla su actividad profesional en los ámbitos de la ingeniería de software y la docencia universitaria. Cuenta con experiencia como desarrollador de software en proyectos tecnológicos y empresariales, trabajando en desarrollo full-stack, arquitectura de aplicaciones, bases de datos, integración de sistemas y prácticas DevOps y CI/CD. Ha participado en proyectos relacionados con tecnologías web, automatización, procesamiento de datos y sistemas distribuidos.Compagina esta actividad con la docencia universitaria en la Universidad Internacional de La Rioja (UNIR), donde participa en la formación de estudiantes del ámbito de la informática y las tecnologías digitales. También cuenta con experiencia en formación especializada y tutorización de trabajos académicos, especialmente en áreas relacionadas con desarrollo web, ingeniería de software y tecnologías informáticas.
Sus intereses de investigación se centran en la intersección entre matemáticas, informática e inteligencia artificial, con especial atención a la modelización formal de sistemas complejos, los asistentes de demostración y la verificación formal. Actualmente trabaja en el estudio de métodos para representar sistemas científicos y de ingeniería mediante modelos matemáticos y semánticos que puedan traducirse a lenguajes formales como Lean o Agda.Entre sus principales intereses se encuentran la teoría de tipos, la teoría de categorías, los métodos formales, la inteligencia artificial aplicada al razonamiento matemático, la verificación de sistemas software y la construcción de agentes capaces de generar y verificar certificados formales sobre sistemas reales.
Rellena el siguiente formulario y uno de nuestros asesores se pondrá en contacto contigo en las próximas 24 horas.
O si lo prefieres:
De 9:00 a 20:00 de lunes a jueves
y de 9:00 a 19:00 los viernes
:name
:intro
Formación
:Formación
Experiencia
:Experiencia
Líneas de investigación
:Líneas de investigación
Algunos estudios en los que imparte clase
