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

Dr.  Bofill Arasa, Miquel

Personal page

Category
PROFESSOR AGREGAT
Department
INFORMÀTICA, MATEMÀTICA APLICADA I ESTADÍSTICA
Area of knowledge
LLENGUATGES I SISTEMES INFORMÀTICS
Research group
Lògica i Intel·ligència Artificial (LAI)
ORCID PRC:
0000-0003-0308-9867

Contracte

Project:
Development agreement ()
Entity:
Instrumentation Laboratory Company
Directed by:
 Mateu Villaret Auselle
Researchers:
5
Amount:
35000 €
Duration:
2018-2019

Projecte

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