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. During the course 2016/2017 I will be a lecturer at the same university.
Some of my research interests are:
- Automatic and interactive theorem proving
- Computer Algebra
- Formal methods applied to algorithmics
- Software verification
- Lattice-based cryptography