Proyectos

 

Proyectos actuales
 

2020-2024

MOTION: Modelos y Técnicas para el Procesamiento de Información a Gran Escala.

MINECO  PID2020-112581GB-C22

 

Proyectos finalizados
 

2018-2021

GRAMM: Modelos y métodos basados en grafos para la computación en gran escala.

MINECO TIN2017-86727-C2-2-R

2018-2021

LOREA: Logic and reasoning.

UPV/EHU GIU18/182

2014-2017

COMMAS: Modelos y Métodos Computacionales para Datos Masivos Estructurados.

MINECO TIN2013-46181-C2-2-R

2008-2016

BAILab: Basque Advanced Informatics Laboratory.

UPV/EHU UFI11/45

2012-2015

LOREA: Logic and reasoning.

UPV/EHU  GIU12/26

2007-2014

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

CICYT  TIN2007-66523

2008-2011

LOREA: Logic and reasoning.

UPV/EHU  GIU07/35

 2008-2011

KYOTO - Knowledge yielding ontologies for Transition-based organization.

EU  ICT-211423