Grupo LoRea
Datu orokorrak
- Kokapena
- Informatika Fakultatea
- Ikertzaile nagusia
- Paqui Lucio Carrasco
- Doktore kopurua
- 4
- Osakide kopurua
- 8
- Posta elektronikoa
- paqui.lucio@ehu.es
- Web orria
- (Beste leiho bat zabalduko du) http://www.sc.ehu.es/paqui
Osakideak
- Paqui Lucio Carrasco
- Javier Álvez Gimenez
- Montserrat Hermo Huguet
- Marisa Navarro Gomez
Ikerketa-ildoak
- Denbora logikarako dedukzio metodo berriak garatu eta ezartzea, eta sistema erreaktiboak egiaztatzeko edo “model checking” metodorako duen aplikazio praktikoa.
- Teknika automatiko berriak garatu eta ezartzea, lehen ordenako logikan (bereziki, Adimen-SUMOn) deskribatutako ontologiak arazoen konponbidean aplikatzeko.
- Dedukzio metodo orokorrak garatzea grafo logiketarako, bide propietateak barne.
Transferentzia eta berrikuntza eskaintza
Ikertzaileak har ditzaketen lantaldeak ditugu MINECO eta UPV-EHUren proiektuetan.
Taldeak hainbat masterretan ematen du prestakuntza, software garapeneko metodo formalei buruz eta arrazoibide automatikoari eta erakusle automatikoen erabilerari buruz.
Tresneria
- Dell Modelo Precision T7810
- Dell Modelo Optiplex 790MT
Proiektu aipagarrienak
Izenburua: Métodos formales y algoritmos para el diseño de sistemas (FORMALISM)
Erakunde Finantzatzailea: CICYT (ERREF. TIN2007-66523)
Iraupena: 2008/01/01etik 2012/12/31ra (2014/12/31ra arte luzatua).
Izenburua: Logic, Reasoning and Complexity (LoReaCo)
Erakunde Finantzatzailea: Eusko Jaurlaritza (erref.-GV: S-PE12UN050).
Iraupena: 2012/01/01etik 2013/12/31ra.
Izenburua: Logic and Reasoning (LoRea).
Erakunde Finantzatzailea: UPV-EHU (erref. UPV-EHU GIU12/26).
Iraupena: 2012/11/01etik 2015/12/31ra.
Izenburua: Modelos y Métodos Computacionales para Datos Masivos Estructurados (Computational Models and Methods for Massive Structured Data) (COMMAS).
Erakunde Finantzatzailea: CICYT (ERREF. TIN2013-46181-C2-2-R)
Iraupena: 2014/01/01etik 2017/12/31ra
Izenburua: Logic and Reasoning (LoRea).
Erakunde Finantzatzailea: UPV-EHU (erref. UPV-EHU GIU15/30).
Iraupena: 2015/12/01etik 2018/11/30era