Current Projects

Financial Entity

COMMAS: Computational Models and Methods for Massive Structured Data
(Modelos y Métodos Computacionales para Datos Masivos Estructurados)

Spanish Goverment TIN2013-46181-C2-2-R (2014/2016)

LOREA: Logic and reasoning

Basque Country University GIU12/26 (2012/2015)

Finished Projects

BAILab: Basque Advanced Informatics Laboratory

Basque Country University UFI11/45 (2012/2014)

FORMALISM: Métodos formales y algoritmos para el diseño de sistemas

Spanish Goverment TIN2007-66523      (2008/20014)

LOREA: Logic and reasoning

Basque Country University GIU07/35 (2008/2011)

Desarrollo de un sistema automático de razonamiento para bases de conocimiento de amplia cobertura

Basque Country University (2006/2008)

GRAMMARS: Métodos basados en GRAfos para el Modelado, Análisis y Realización de Sistemas de gran tamaño

Spanish Goverment TIN2004-07925-C03-03 (2004/2007)

CLASS: Aplicación de técnicas de aprendizaje automático a la resolución de la ambigüedad semántica de las palabras 

Basque Country University (2004/2006)

MAVERISH: Modelización, análisis y verificación de Sistemas Heterogeneos 

Spanish Govement TIC2001-2476-C03-03      (2001/2004)