Welcome
I studied Computer Science and Mathematics at Universidad de La Rioja from October 2007 to June 2011. Until June 2012 I was working as an assistant researcher in the ForMath Project.
From July 2012 to June 2016, I was a Ph.D student supervised by Dr. Julio Rubio and Dr. Jesús Aransay at Universidad de La Rioja. My thesis mostly is related to the formalisation of Linear Algebra algorithms in Higher-Order Logic. From 2016, I am a lecturer at the same university.
Research
Some of my research interests are:
- Interactive theorem proving, formalization of mathematics and verification of algorithms
- Computer algebra algorithms and systems
- Applications of machine and deep learning
- New optimization heuristics and autoML tools
Most of my work on formalizing mathematics is carried out using the Isabelle theorem prover. Some of our developments using this theorem prover are shown here. A list of our publications can be found here.
AI Competitions
Eventually (time-permitting), I have participated in some artificial intelligence competitions together with Francisco Javier Martínez de Pisón and Ramón Sieira. We won the Marine Datathon Contest (press links 1, 2, 3, 4, 5, 6, 7) and obtained the 2nd position in the Schneider Electric European Hackathon (press links: 1, 2).
Links
