Current

Financial Entity

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

Spanish Goverment TIN2007-66523      (2008/20012)

Finished

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)