DIGIBAC: project devoted to the development of tools for automatic analysis of gel electrophoresis images.
Project founded by an ADER grant. PI: César Domínguez. 2014-2016.
ML4PG: project devoted to the application of machine learning tools to Coq proofs.
Project founded by a EPSRC first grant. PI: Ekaterina Komendantskaya. 2011-2013.
CoALP: project devoted to the use of Coalgebraic Logic Programming for Type Inference.
Project founded by a EPSRC. PI: Ekaterina Komendantskaya. 2013-2016.
ACL2ml: project devoted to the application of machine learning tools in ACL2.
Project founded by a SICSA proof of concept grant. PI: Ekaterina Komendantskaya. 2013-2014.
ForMath: Formalisation of mathematics. Project devoted to the formalisation of mathematics.
Project founded by an EU FP7 STREP FET-open project. PI: Thierry Coquand. 2010-2013.
Gestión Mecanizada del Conocimiento Matemático. Los casos de la Topología Algebraica y la Lógica.
Project founded by Ministerio de Ciencia e Innovación (Spain). PI: Julio Rubio. 2008-2012.
Asistente para la creación de aplicaciones cliente de sistemas de Cálculo Simbólico.
Project founded by University of La Rioja. PI: Vico Pascual. 2008-2010.