Anar al contingut (click 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
Lògica i Intel·ligència Artificial (LIA)
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:
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 (SAPPO) (RTI2018-095609-B-I00)
Entitat:
Ministerio de Ciencia e Innovación (MICINN)
Direcció:
 Mateu Villaret Auselle
Investigadors:
04
Import:
21780 €
Durada:
2019-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 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:
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:
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:
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:
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:
2005-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:
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:
2002-2004
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:
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:
Import:
0 €
Durada:
1999-2001
Projecte:
CCL-2: Construction of Computational Logics (WG # 22457)
Entitat:
Direcció:
 ROBERT NIEUWENHUIS (UPC)
Investigadors:
Import:
0 €
Durada:
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.