欢迎光临
2007年10月至2011年6月，我在拉里奥哈大学学习计算机科学和数学。直到2012年6月，我一直在数学项目.
2012年7月至2016年6月，我是一名博士生，导师是Julio Rubio博士和Jesüs Aransay博士在拉里奥哈大学。我的论文主要是关于高阶逻辑中线性代数算法的形式化。从2016年开始，我是一名讲师在同一所大学。
研究
我的一些研究兴趣是：
- 交互式定理证明、数学形式化和算法验证
- 计算机代数算法和系统
- 机器和深度学习的应用
- 新的优化启发式方法和autoML工具
我在数学形式化方面的大部分工作都是使用伊莎贝尔定理证明者.我们使用这个定理证明器进行了一些开发在这里。可以找到我们的出版物列表在这里.
AI竞赛
最后（如果时间允许），我与弗朗西斯科·哈维尔·马丁内斯·德·皮森和拉蒙·西埃拉一起参加了一些人工智能竞赛。我们赢了海事数据马拉松比赛（按链接1,2,三,4,5,6,7)并在施耐德电气欧洲黑客马拉松（按链接：1,2).
