Universitat de Girona > Directori > Pàgina personal
Anar al contingut (clic a Intro)
UdG Home UdG Home
Tancar
Menú

Dr.  Bofill Arasa, Miquel

Página personal

Categoría
PROFESSOR AGREGAT
Departamento
INFORMÀTICA, MATEMÀTICA APLICADA I ESTADÍSTICA
Área de conocimiento
LLENGUATGES I SISTEMES INFORMÀTICS
Grupo de investigación
Lògica i Intel·ligència Artificial (LAI)
ORCID PRC:
0000-0003-0308-9867

Contracte

Proyecto:
Development agreement ()
Entidad:
Instrumentation Laboratory Company
Dirección:
 Mateu Villaret Auselle
Investigadores:
5
Importe:
35000 €
Duración:
2018-2019

Projecte

Proyecto:
Mercats, distribució i traçabilitat MeDiTra (2019/5938)
Entidad:
Diputació De Girona
Dirección:
 Jose Luis de la Rosa Esteva; Nadia Fava; Mateu Villaret Auselle
Investigadores:
04
Importe:
132522 €
Duración:
2020-2022
Proyecto:
Mercats, distribució i traçabilitat MeDiTra. (FEDER) (PR15-019289)
Entidad:
Departament de la Presidència de la Generalitat de Catalunya
Dirección:
 Jose Luis de la Rosa Esteva; Nadia Fava; Mateu Villaret Auselle
Investigadores:
06
Importe:
265045 €
Duración:
2020-2022
Proyecto:
Satisfactibilidad para Programación de Tareas, Planificación y Optimización (RTI2018-095609-B-I00)
Entidad:
Ministeri de Ciència, Innovació i Universitats - MCIU
Dirección:
 Mateu Villaret Auselle
Investigadores:
10
Importe:
21780 €
Duración:
2019-2022
Proyecto:
Estades Breus FPI (dotació addicional 2016) (BES-2016-076867)
Entidad:
Ministerio de Economía y Competitividad
Dirección:
 Jordi Coll Caballero; Miquel Bofill Arasa
Investigadores:
2
Importe:
6250 €
Duración:
2019
Proyecto:
Lògica i Programació (2017SGR0107)
Entidad:
Agència de Gestió d'Ajuts Universitaris i de Recerca (AGAUR). Generalitat de Catalunya.
Dirección:
 Miquel Bofill Arasa
Investigadores:
04
Importe:
0 €
Duración:
2017-2021
Proyecto:
InfCT-2017.59 (InfCT-2017.59)
Entidad:
Universitat de Girona (UdG)
Dirección:
 Josep Soler Maso
Investigadores:
51
Importe:
67244 €
Duración:
2017
Proyecto:
Lógica para problemas combinatorios (LoCos) (TIN2015-66293-R)
Entidad:
Ministerio de Economía y Competitividad
Dirección:
 Miquel Bofill Arasa
Investigadores:
03
Importe:
67397 €
Duración:
2016-2019
Proyecto:
Lògica per Combinatòria (LoXCom) (MPCUdG2016/055)
Entidad:
Universitat de Girona (UdG)
Dirección:
 Miquel Bofill Arasa; Mateu Villaret Auselle
Investigadores:
04
Importe:
30000 €
Duración:
2016-2018
Proyecto:
José Castillejo 2015 (JC201515-00275)
Entidad:
Ministerio de Educación, Cultura y Deporte (MECD)
Dirección:
 Miquel Bofill Arasa
Investigadores:
1
Importe:
13957 €
Duración:
2016
Proyecto:
Lògica i Programació (2014SGR0305)
Entidad:
Agència de Gestió d'Ajuts Universitaris i de Recerca (AGAUR). Generalitat de Catalunya.
Dirección:
 Miquel Bofill Arasa
Investigadores:
05
Importe:
0 €
Duración:
2014-2017
Proyecto:
Creació d'un clúster per a càlcul massiu (TEQUIP20)
Entidad:
Universitat de Girona (UdG)
Dirección:
 Miquel Bofill Arasa
Investigadores:
6
Importe:
3076 €
Duración:
2014
Proyecto:
Herramientas lógicas para problemas combinatorios (TIN2012-33042)
Entidad:
Ministerio de Economía y Competitividad
Dirección:
 Mateu Villaret Auselle
Investigadores:
05
Importe:
23891 €
Duración:
2013-2015
Proyecto:
Desenvolupament d’un SMT solver per a CSPs (SING11/6)
Entidad:
Universitat de Girona (UdG)
Dirección:
 Mateu Villaret Auselle
Investigadores:
7
Importe:
3897 €
Duración:
2012
Proyecto:
Subastas robustas mediante la incorporación de técnicas de satisfactibilidad módulo teorías. (TIN2008-04547)
Entidad:
Ministerio de Educación y Ciencia (MEC)
Dirección:
 Miquel Bofill Arasa
Investigadores:
07
Importe:
93170 €
Duración:
2009-2012
Proyecto:
LogicTools (TIN2004-03382)
Entidad:
Ministerio de Ciencia y Tecnología
Dirección:
 Alberto Rubio Gimeno
Investigadores:
15
Importe:
187450 €
Duración:
2005-2007
Proyecto:
Interfaces avanzadas para la interacción transparente con modelos altamente complejos en entornos de realidad virtual - UdG (TIN2004-08065-C02-02)
Entidad:
Ministerio de Ciencia y Tecnología
Dirección:
 Joan Antoni Sellarès Chiva
Investigadores:
17
Importe:
167900 €
Duración:
2004-2007
Proyecto:
MAVERISH: Modelización, análisis y verificación de sistemas heterogéneos (TIC2001-2476-C03-01)
Entidad:
Comisión Interministerial de Ciencia y Tecnología (CICYT)
Dirección:
 Fernando Orejas Valdés
Investigadores:
Importe:
190160 €
Duración:
2002-2004
Proyecto:
CAD para seguridad vial basado en sistemas de simulación de la iluminación (TIC2001-2392-C03-01)
Entidad:
Ministerio de Ciencia y Tecnología
Dirección:
 Joan Antoni Sellarès Chiva
Investigadores:
11
Importe:
57643 €
Duración:
2001-2004
Proyecto:
HEMOSS: Heterogeneidad y modularidad en la especificación de sistemas (TIC98-0949-C02-01)
Entidad:
Comisión Interministerial de Ciencia y Tecnología (CICYT)
Dirección:
 Fernando Orejas Valdés
Investigadores:
Importe:
0 €
Duración:
1999-2001
Proyecto:
CCL-2: Construction of Computational Logics (WG # 22457)
Entidad:
Dirección:
 ROBERT NIEUWENHUIS (UPC)
Investigadores:
Importe:
0 €
Duración:
1996-2001

Escull quins tipus de galetes acceptes que el web de la Universitat de Girona pugui guardar en el teu navegador.

Les imprescindibles per facilitar la vostra connexió. No hi ha opció d'inhabilitar-les, atès que són les necessàries pel funcionament del lloc web.

Permeten recordar les vostres opcions (per exemple llengua o regió des de la qual accediu), per tal de proporcionar-vos serveis avançats.

Proporcionen informació estadística i permeten millorar els serveis. Utilitzem cookies de Google Analytics que podeu desactivar instal·lant-vos aquest plugin.

Per a oferir continguts publicitaris relacionats amb els interessos de l'usuari, bé directament, bé per mitjà de tercers (“adservers”). Cal activar-les si vols veure els vídeos de Youtube incrustats en el web de la Universitat de Girona.