Jónathan Heras Vicente
Lecturer at the Department of Mathematics and Computer Science, University of La Rioja.
Member of the Grupo de Informática de la Universidad de La Rioja
Despacho 3232. CCT. Department of Mathematics and Computer Science. University of La Rioja.
Logroño. Spain. 26004.
phone: (+34) 941299673
mail: joheras at gmail.com

Participation in projects:

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.