Anar al contingut (clic a Intro)
UdG Home UdG Home
Tancar
Menú

Dr.  Bofill Arasa, Miquel

Plana personal

Categoria
PROFESSOR AGREGAT
Departament
INFORMÀTICA, MATEMÀTICA APLICADA I ESTADÍSTICA
Àrea de coneixement
LLENGUATGES I SISTEMES INFORMÀTICS
Grup de recerca
Grup de Recerca en Lògica i Intel·ligència Artificial (LAI)
ORCID PRC:
0000-0003-0308-9867

Contracte

Projecte:
Development agreement ()
Entitat:
Instrumentation Laboratory Company
Direcció:
 Mateu Villaret Auselle
Investigadors:
5
Import:
35000 €
Durada:
2018-2019

Projecte

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

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.