CURRICULUM VITÆ

Angel Javier Gil Estallo

Departament d’Economia i EmpresaUniversitat Pompeu FabraC/ Trias Fargas 25-27, 08005–Barcelonatel: 93–542–27–48e-mail: angel.gil@upf.eduMayo–2014

Índice

Datos Personales 3

1. T́ıtulos Académicos 4

2. Puestos Docentes desempeñados 4

3. Actividad docente desempeñada 4

4. Publicaciones 6

5. Otros trabajos de Investigación 9

6. Proyectos de Investigación subvencionados 10

7. Comunicaciones y ponencias presentadas a congresos 12

8. Cursos y seminarios impartidos 14

9. Cursos y seminarios recibidos 16

10.Becas, ayudas y premios recibidos 17

11.Otros méritos docentes o de investigación 18

12.Cargos Académicos 21

13.Otros méritos 22

2

Datos Personales

Apellidos y nombre: Gil Estallo, Angel Javier

Universidad Actual: Universitat Pompeu Fabra, Barcelona

Facultad: Facultad de Ciencias Económicas y Empresariales

Departamento: Economı́a y Empresa

Categoŕıa: Profesor Titular de Universidad del área Fundamentosdel Análisis Económico

3

1. T́ıtulos Académicos

Licenciado en Ciencias Matemáticas, Universidad de Barcelona, juliode 1988.

Doctor en Ciencias Matemáticas, Universidad de Barcelona, abril de1996.

2. Puestos Docentes desempeñados

Septiembre 1988-Diciembre 1988. Profesor Licenciado en el ColegioEpiscopal de Lleida.

Cursos 1988-89, 1989-90, 1990-91. Ayudante LRU en el Estudio Generalde Lleida (en aquel momento Universidad de Barcelona).

Octubre de 1991 – diciembre 2001. Titular de Escuela Universitaria(interino) en la Universidad Pompeu Fabra. Área de conocimiento: Ma-temática Aplicada.

Diciembre 2001 – septiembre 2008. Titular de Escuela Universitaria enla Universidad Pompeu Fabra. Área de conocimiento: Fundamentos delAnálisis Económico.

Septiembre 2008 – hasta la actualidad. Titular de Universidad en laUniversidad Pompeu Fabra. Área de conocimiento: Fundamentos delAnálisis Económico.

3. Actividad docente desempeñada

Septiembre 1988-Diciembre 1988. Profesor Licenciado en el ColegioEpiscopal de Lleida. Docencia y coordinación de Matemáticas en 1 deBUP y Matemáticas I y II en COU.

Cursos 1988-89, 1989-90, 1990-91. Ayudante LRU en el Estudio Gene-ral de Lleida (en aquel momento Universidad de Barcelona). Docencia(teoŕıa y practica) en un grupo de la asignatura Matemáticas I en laDiplomatura en Ciencias Empresariales.

Octubre de 1991 – septiembre de 2008. Titular de Escuela Universita-ria, en la Universidad Pompeu Fabra.

4

• Cursos 1991-92, 1992-93 y 1993-94: Docencia de las asignaturasMatemáticas I, Informática I y Informática II (1er. curso de laDiplomatura en Ciencias Empresariales).

• Cursos 1994-95, 1995-96 y 1996-97: Docencia en un grupo de lasasignaturas Matemáticas I, Informática I (1er. curso) y un grupode Investigación Operativa (optativa 3er. curso) en la Diplomaturaen Ciencias Empresariales.

• Curso 1997-98: Docencia en un grupo de las asignaturas Matemáti-cas I (1er. curso), Estad́ıstica I (1er. curso) y Investigación Ope-rativa (optativa 3er. curso) de la Diplomatura en Ciencias Empre-sariales.

• Curso 1998-99: Docencia en un grupo de las asignaturas Matemáti-cas I (1er. curso), Estad́ıstica I (2Âo curso) de la Diplomatura enCiencias Empresariales y en un grupo de la asignatura Matemáti-cas II en las Licenciaturas de Economı́a y de Administración yDirección de Empresas de la Facultad de Ciencias Económicas yEmpresariales (ECO/ADE).

• Curso 1999-2000: Docencia y coordinación en dos grupos de laasignatura Estad́ıstica I (2Âo curso) de la Diplomatura en Cien-cias Empresariales y docencia en un grupo de la asignatura Ma-temáticas II en ECO/ADE.

• Curso 2000-01: Docencia en un grupo de las asignaturas Matemáti-cas I y Matemáticas II (1er. curso) en ECO/ADE y docencia ycoordinación en un grupo de la asignatura Estad́ıstica I (2Âo cur-so) de la Diplomatura en Ciencias Empresariales.

• Cursos 2001-2002 hasta el 2009-2010: Docencia y coordinación endos grupos de Matemáticas I y dos grupos de Matemáticas II (1er.curso) en las Licenciaturas ECO/ADE. Además docencia en dosgrupos de prácticas de la asignatura Matemáticas II mencionadapreviamente.

• Curso 2006-07 hasta el 2008-09. Profesor del módulo “Excel parausos docentes” en el “Diploma de Matemáticas para Secundaria”(curso de postgrado de 200 horas) de la Universitat Pompeu Fabra.

• Septiembre de 2008 hasta la actualidad. Titular de Universidad,en la Universidad Pompeu Fabra.

◦ Cursos 2010-2011 hasta la actualidad: Docencia y coordina-ción en las asignaturas Matemáticas I y Matemáticas II (1er.curso) en los grados ECO/ADE. Además docencia en semi-narios de estas asignaturas.

5

◦ Otros cursos:� Coordinador del “Curso de Introducción a las Matemáti-

cas”, curso voluntario introductorio que se imparte en sep-tiembre a los alumnos de nuevo acceso. Cursos 2011-12 ala actualidad.

� Curso “Excel com a eina per emprenedors - Excel comoherramienta para emprendedores”. Curso de verano de laUniversidad Pompeu Fabra. Julio de 2013.

4. Publicaciones

Libros y caṕıtulos en libros

“Matemàtiques Empresarials I”, C. Capdevila, J. Conde, A.J. Gil.PPU-Servicio de Publicaciones de la Universitat de Lleida, noviembrede 1992. Recoge el material docente y la lista de problemas preparadadurante los años en que fui Ayudante LRU en el Estudi General deLleida.

Material docente de la asignatura “Matemàtiques I” e la UniversitatOberta de Catalunya. Es una obra colectiva bajo la dirección del Dr.Màxim Borrell en la que colaboran J. Parad́ıs, D. Serra y P. Viader.Mi aportación consiste en la redacción de los problemas de diferentescaṕıtulos.

Material docente de la asignatura “Estad́ıstica” de los estudios de laUniversitat Oberta de Catalunya. Marzo de 2002. Es una obra colec-tiva junto con J. Gibergans y C. Rovira. Me corresponde redactar loscaṕıtulos correspondientes a “Estad́ıstica Descriptiva”, “Probabilidad”,“Técnicas de Muestreo” e “Intervalos de confianza”. Barcelona 2001.Segunda edición febrero de 2003.

J. Gonzalez Calvet, Pere Mir i Angel J. Gil: “La desigualtat salarial aCatalunya (1995-2000)”. Editorial Mediterrània S.L. Barcelona 2002.Colección Politiques 33.

Art́ıculos

“Algunas Propiedades de un Algoritmo de Clasificación Piramidal”, A.Arcas, C. Capdevila, A.J. Gil. Estad́ıstica Española, 1995, vol. 37, núm.

6

138, 101-126.

“On Gentzen Systems Associated with the Finite Linear MV-algebras”,A.J. Gil, V. Verdú, A. Torrens, Journal of Logic and Computation,1997, vol. 7, no. 4, 473 – 500.

“A Strong Completeness Theorem for the Gentzen systems associatedwith finite algebras”, A.J. Gil, J. Rebagliato, V. Verdú. Journal ofApplied Non-Classical Logics, 9(1), 9–36, 1999.

“Protoalgebraic Gentzen systems and the cut rule”, A.J. Gil, J. Reba-gliato. Studia Logica 65(1), 53-89, 2000.

“Pyramidal classification and delimitation of climatic regions in Cata-lonia” J. Conde, C. Capdevila, M.A. Colomer y A.J. Gil. En R. Decker,W. Gaul (Ed.) Classification and Information Processing at the Turn ofthe Millenium, dentro de la serie Studies in Classification, Data Analy-sis, and Knowledge Organization, p. 74–83. Springer-Verlag, 2000.

“Efficient algorithms for constraint decision problems over finite totallyordered domains” A. J. Gil , Miki Hermann, Gernot Salzer y BrunoZanuttini. Automated Reasoning. Lecture Notes in Computer Science3097, 244-258, 2004.

“Equivalential Gentzen systems and the reduced matrices of the Gen-tzen systems associated with finitely valued logics” A.J. Gil y J. Reba-gliato. Reports on Mathematical logic 41, 9–30. 2006.

“On the infinite-valued Lukasiewicz logic that preserves degrees of truth”J.M. Font, A.J. Gil, A. Torrens y V. Verdú. Archive for MathematicalLogic, 45 (7), 839-868, 2006. ISSN 0933-5846 (Print) 1432-0665 (Onli-ne). DOI 10.1007/s00153-006-0001-7. Fecha de publicación online: 15-8-06

“Efficient Algorithms For Description Problems Over Finite TotallyOrdered Domains”, A. J. Gil , Miki Hermann, Gernot Salzer y BrunoZanuttini. SIAM Journal on Computing, 38(3), 922–945, 2008.

“Logics preserving degrees of truth from varieties of residuated latti-ces”, F. Bou, F. Esteva, J.M. Font, A.J. Gil, L. Godo, A. Torrens, V.Verdú. Journal of Logic and Computation 19 (6), 1031–1069. 2009.

“On Gentzen relations associated with finite-valued logics preservingdegrees of truth”, A.J. Gil. Special Issue on Abstract Algebraic Logic.Studia Logica 101 (4), 749–781. 2013

7

“On Hilbertizable Gentzen systems associated with finite valued logic”.Enviado para su publicación y pendiente del proceso de revisión. Abril2014.

*

Otras Publicaciones

“Lógicas de Lukasiewicz congruenciales, Teorema de la Deducción”,A.J. Gil, A. Torrens y V. Verdú, Actas del I Congreso de la Sociedadde Lógica, Metodoloǵıa y Filosof́ıa de la Ciencia, diciembre de 1993.

“Automatización de los métodos piramidales de clasificación y repre-sentación de datos”, A.J. Gil, C. Capdevila, A. Arcas. Working-Papernúm. 94/3, Diplomatura en Ciències Empresarials, Universitat PompeuFabra, Octubre 1994.

“El programa PIR de Clasificación Piramidal”, A. Arcas, C. Capdevila,A.J. Gil, Bolet́ın SEIO (Sociedad Estad́ıstica e Investigación Operati-va). 1994, vol. 10, núm. 3.

“A program for pyramidal classification”, A.J. Gil, C. Capdevila, A.Arcas. Actas del XXI Congreso Nacional de Estad́ıstica e InvestigaciónOperativa, 1995.

“An algebraizable Gentzen system for the three valued Lukasiewiczpropositional logic”, A.J. Gil, A. Torrens y V. Verdú. (abstract) Bulletinof Symbolic logic, 1995, vol 1(2), 235-236.

“Sistemes de Gentzen Multidimensionals i Lògiques Finitament Valo-rades. Teoria i Aplicacions”. Tesis Doctoral. Universitat de Barcelona.Abril de 1996.

“Gentzen systems and finite linear MV–algebras”, F. Esteva, A.J. Gil,V. Verdú (Ed.) Workshop of COST Action 15, Barcelona, Spain, junio1996.

“Sistemas Gentzen multidimensionales y sistemas deductivos asocia-dos”, A.J. Gil. En Anna Estany, Daniel Quesada (Ed.) Actas del IICongreso de la Sociedad de Lógica, Metodoloǵıa y Filosof́ıa de la Cien-cia en España. P. 487-491. Bellaterra UAB, febrero de 1997.

8

“On Algebraizable Gentzen systems for the finite-valued Lukasiewiczpropositional logics” (Abstract), Bulletin of Symbolic logic vol. 3 n.2,1997. 1996.

“On the Efficiency and Sensitivity of a Pyramidal Classification Algo-rithm” A.J. Gil, C. Capdevila, A. Arcas. Economics Working Paper270, Universitat Pompeu Fabra, marzo 1998.

“Some alternatives of Statistical Classification of Dependent Old AgePeople” M. Sáez, C. Murillo, A.J. Gil, C. Capvevila. Proceedings Con-trol of Health Complexity, p. 223–229. LASS Lyon, julio de 1998.

“Los modelos piramidales de clasificación en el estudio de zonas climáti-cas en Catalunya”. Actas del “XXIV Congreso Nacional de Estad́ısticae Investigación Operativa”. Octubre de 1998, Málaga.

“Multseq: sequents, equations and beyond”, A.J. Gil y G. Salzer. Pro-ceedings of the 6th Kurt Gödel Colloquium. Collegium Logicum, Annalsof the Kurt-Gödel-Society. 2002.

“MUltlog and MUltseq Reanimated and Married” Baaz M., FermüllerC. G., Gil A. J., Preining N. and Salzer G. ULCS-03-018. Proc. 4thInt. Workshop on the Implementation of Logics. Eds. Konev, B. andSchmidt, R. 2003.

“T-norm based fuzzy logics preserving degrees of truth”. In Procee-dings of the 12th International Conference on Information Processingand Management of Uncertainty in Knowledge-Based Systems (Mala-ga, 2008). L. Magdalena, M. Ojeda-Aciego, and J. L. Verdegay, Eds.,pp. 1053–1060.

5. Otros trabajos de Investigación

De las actividades realizadas en el marco de la Acción COST n. 15,he participado en el primer Workshop/Conference de la Acción (Lyon(Francia), noviembre 1995); en la reunión del Comité de Coordinaciónde la Acción en Linz (Austria), febrero 1996; en el segundo Works-hop/Conference (Barcelona, junio 1996), en la reunión del WorkingGroup n. 1 (Ravello (Italia), noviembre de 1996) y en la reunión delWorking Group 2: Automated deduction (Málaga 12 de septiembre de1997).

9

6. Proyectos de Investigación subvencionados

Participación en los siguientes proyectos de investigación:

De caracter estatal

Colaborador en el proyecto DGICYT de la Secretaria de Estado de Uni-versidades e Investigación “Lógica Algebraica” (1991-94). Investigadorprincipal Josep Maria Font i Llovet (U. de Barcelona).

Colaborador en el proyecto DGICYT “Lógica Algebraica” (1995-98). In-vestigador principal Ventura Verdú i Solans (U. de Barcelona).

Colaborador en el proyecto DGICYT “Lógica Algebraica i Lògiques Mul-tivalorades” (1998-2001). Investigador principal Ventura Verdú i Solans(U. de Barcelona).

Colaborador en el proyecto BFM2001-3329 del Ministerio de Ciencia yTecnoloǵıa “Lógica Algebraica y Lógicas Multivalorades” (2001-2004).Investigador principal A. Torrens (U. de Barcelona). Importe: 41.034,10euros.

Colaborador en el proyecto DGICYT “Lógica Algebraica y lógicas noclásicas” (2005-2008). Investigador principal Josep Maria Font i Llovet(U. de Barcelona). Importe: 72.220 euros.

Colaborador en el proyecto MTM2008-01139 “Lógica Algebraica y lógi-cas no clásicas” (2009-2011). Investigador principal Antoni Torrens To-rrell (U. de Barcelona). Importe: 40.777 euros.

Colaborador en el proyecto MTM2011-25747) “Lógica Algebraica y lógi-cas no clásicas” (2012-2014). Investigador principal Joan Gispert (U.de Barcelona).

De caracter autonómico

• Miembro del Grup de recerca consolidat “Lògica Algebraica” dela Generalitat de Catalunya (1995SGR-00046). Investigador prin-cipal Josep M. Font (U. de Barcelona) y diferentes prórrogas has-ta el (2009SGR-1433, 2001-13) con investigador principal RamonJansana (U. de Barcelona).

10

De caracter europeo

• Colaborador de la Acción COST de la Comisión Europea núm. 15de t́ıtulo Many Valued Logics for Computer Science Applications.

Acciones Integradas

• Colaborador de la Acción Integrada Hispano-Austriaca “Genericdecision procedures for finite valued logics” (HU-97-17) 1997-99que reúne a los siguientes investigadores: por parte española A. J.Gil, V. Verdú (responsable español) (Universidad de Barcelona),J. Reblagliato (IES Angeleta Ferrer, Sant Cugat del Vallès); porla parte austriaca Matthias Baaz (Univ. Doz. a.o. Prof. Dr. phil,Institut für Algebra, Technische Universität Wien), Christian Fer-mueller (Univ. Doz. a.o. Prof. Dipl.-Ing. Dr. techn, Institut fürComputersprachen, Technische Universität Wien), Gernot Salzer(Univ. Ass. Dipl.-Ing. Dr. techn.,Institut für Computersprachen,Technische Universität Wien) (responsable del equipo austriaco).

• Colaborador de la Acción Integrada Hispano-Austriaca “T-normsformalized: proof theory and semantics of fuzzy logics” (HU–2001-0030). Por parte española el responsable de la Acción es FrancescEsteva, director del IIIA (“Instituto de Investigación en Inteligen-cia Artificial”–CSIC) e incorpora también a Lluis Godo (IIIA). Enla parte austriaca el responsable es M. Baaz (Technische Univer-sität Wien) e incorpora a Agata Ciabatonne, Christian Fermüllery Gernot Salzer. Estancias en Viena del 10-9-02 al 15-9-02 y del10-12-02 al 15-12-02. Importe: 6.731,34 euros.

• Colaborador de la Acción Integrada Hispano-Austriaca “MonadicFuzzy Logics” (HU–2003-0043). Por parte española el responsablede la Acción es Francesc Esteva, director en aquel momento delIIIA (“Instituto de Investigación en Inteligencia Artificial”–CSIC)e incorpora también a Lluis Godo (IIIA). En la parte austriacael responsable es C. Fermüller (Technische Universität Wien) eincorpora a Agata Ciabatonne y Gernot Salzer. Diversas estanciasen Viena. Importe: 8.000 euros.

• Investigador responsable de la Acción Integrada Hispano-AustriacaHU 2005 - 0024 “Algebraic Foundations and Dialogue Game Se-mantics for Fuzzy Logics”. Participantes de IIIA-CSIC, Universi-dad Pompeu Fabra y Technische Universität Wien. Duración des-de 2006 hasta 2008. Cuant́ıa de la subvención: 8.000 euros. Investi-

11

gadores responsables: A.J. Gil (España) y C. Fermüller (Austria).Número de investigadores participantes: 7.

• Colaborador de la Acción Integrada Hispano-Austriaca “Cons-traint Satisfaction Problems and Many Valued Logics” (HU–2008-0017). Por parte española el responsable de la Acción es Felip Man-ya IIIA (“Instituto de Investigación en Inteligencia Artificial”–CSIC). En la parte austriaca el responsable es G. Salzer (Technis-che Universität Wien). Diversas estancias en Viena (16 al 20 demarzo de 2011). Importe: 11.950 euros.

7. Comunicaciones y ponencias presenta-

das a congresos

• “Lógicas de Lukasiewicz congruenciales, Teorema de la Deduc-ción”, comunicación presentada al I Congreso de la Sociedad deLógica, Metodoloǵıa y Filosof́ıa de la Ciencia. Universidad Com-plutense de Madrid, diciembre 1993. En colaboración con AntoniTorrens y Ventura Verdú.

• “A program for pyramidal classification” presentada al XXI Con-greso Nacional de Estad́ıstica e Investigación Operativa. Calella(Barcelona), abril 1994. En colaboración con Carles Capdevila.

• “An algebraizable Gentzen system for the three valued Lukasie-wicz propositional logic” comunicación presentada al Logic Co-lloquium ’94 (European Summer Meeting of the Association forSymbolic Logic). Clermont-Ferrand (Francia), julio 1994. En cola-boración con Antoni Torrens y Ventura Verdú.

• “Sequent calculi and Gentzen sytems for the finite valued Lukasie-wicz propositional logics” comunicación presentada 2nd BarcelonaLogic Meeting organizado por el Centre de recerca Matemàtica enla Universitat Autònoma de Barcelona, julio 1995.

• “On two sequent calculi for the Stone three-valued propositionallogic” presentada al 10th. International Congress of Logic, Met-hodology and Philosophy of Science. Florencia (Itàlia), agosto de1995. En colaboración con J. Rebagliato y Ventura Verdú.

• “Algebraization and the Deduction Theorem for Gentzen systems”presentada al 10th. International Congress of Logic, Methodologyand Philosophy of Science. Florencia (Italia), agosto de 1995. Encolaboración con Jordi Rebagliato y Ventura Verdú.

12

• “On Gentzen systems for the Finite-Valued Lukasiewicz Proposi-tional Logics” presentada al Logic Colloquium ’96. San Sebastián,julio 1996. En colaboración con Antoni Torrens y Ventura Verdú.

• “Gentzen systems and finite linear MV-algebras” presentada alWorkshop/Conference de la Acción COST no. 15. Barcelona, junio1996.

• “A new program of pyramidal classification” (poster) y “Efficienceand sensitivity of three pyramidal classification methods” presen-tada al COMPSTAT ’96. Barcelona, Agosto 1996. En colaboracióncon Carles Capdevila y Antoni Arcas.

• “A Strong Completeness Theorem for the Gentzen systems asso-ciated with finite algebras”. 3rd Barcelona Logic Meeting, CRM(“Centre de Recerca Matemàtica”) Barcelona, Febrero 1997. Encolaboración con Antoni Torrens y Ventura Verdú.

• “Sistemas Gentzen multidimensionales y sistemas deductivos aso-ciados” II Congreso de la Sociedad de Lógica, Metodoloǵıa y Filo-sof́ıa de la Ciencia en España. Barcelona, febrero de 1997.

• “On Protoalgebraic Gentzen systems”. Workshop of Abstract Al-gebraic Logic CRM (“Centre de Recerca Matemàtica”) Barcelona,junio de 1997.

• “On Gentzen systems” VIII Symposium on Order in Algebra andLogic, with Applications. Barcelona, enero 1998.

• “Protoalgebraic Gentzen systems and the cut rule”. 4rd BarcelonaLogic Meeting, CRM (“Centre de Recerca Matemàtica”) Barcelo-na, Febrero 1998. En colaboración con Jordi Rebagliato.

• “Clasificación de pacientes en asistencia socio-sanitaria”. XVIIIJornadas de economı́a de la salud. Vitoria, mayo de 1998. En co-laboración con M. Saez, C. Murillo y C. Capdevila.

• “A Characterization of the Gentzen systems satisfying the cut ru-le”. Logic Colloquium ’98. Agosto de 1998, Praga. En colaboracióncon Jordi Rebagliato.

• “Los modelos piramidales de clasificación en el estudio de zonasclimáticas en Catalunya”. XXIV Congreso Nacional de Estad́ısticae Investigación Operativa Octubre de 1998, Málaga. En colabora-ción con J. Conde y C. Capdevila.

• “Pyramidal classification and delimitation of climatic regions inCatalonia”. 23rd Annual Conference de la de la German Classifi-cation Society, Bielefeld, marzo 1999.

13

• “Multseq: sequents, equations and beyonnd”. 6th Kurt Gödel Co-lloquium, Barcelona junio de 1999. En colaboración con G. Salzer(TUV- Viena).

• “MUltseq: a Generic Prover for Sequents and Equations”, A.J. Gily G. Salzer. Collegium Logicum: Annals of the Kurt Gödel Society4, 238–241. Viena 2001.

• Participante en las discusiones del 1st Czech-Catalan Conferencein Mathematics, Praga, 27-28 de mayo de 2005.

• “On the infinite-valued Lukasiewicz logic that preserves degrees oftruth”. Algebraic and Topological Methods in Non-Classical LogicsII, Barcelona 15-18 de junio de 2005.

• “Description Problems over Finite Totally Ordered Domains”.Constraint Satisfaction Problems and Many-Valued Logics (Co-llegium Logicum 2009). Viena 2009.

• “On the Gentzen systems associated with finite valued logics pre-serving degrees”. Topology, Algebra and Categories in Logic, TACL09. Amsterdam 2009.

• “On Hilbertizable Gentzen systems associated with finite valuedlogics”. Wold Congress on Universal Logic III, UNILOG 2010.Lisboa 2010.

8. Cursos y seminarios impartidos

• En el “Seminari permanent de Lògica Algebraica” imparto en fe-brero de 1991, un seminario sobre el lenguaje de programaciónPROLOG y su aplicación al estudio de la Lógica con el siguientecontenido:

“Lógica y PROLOG” : Introducción a la Inteligencia Artificial ylos fundamentos teóricos de PROLOG. Ejemplos en PROLOG”.

“Búsqueda de contraejemplos en Prolog PROLOG”: generaciónde ret́ıculos en PROLOG; aplicación a las álgebras de Wajsbergy a las lógicas abstractas de Lukasiewicz.

• “Un exemple de classificació amb el Programa PIR: estudi delsresultats electorals” en la asignatura “Mètodes de classificació Pi-ramidal” del programa de Doctorado del Departament d’Hortofru-ticultura, Botànica i Jardineria (U. de Lleida). Julio 1995.

14

• En el Workshop Some new Trends on algebraic Logic, dirigido porDr. Josep Maria Font (UB) en la 7th. European Summer School inLanguage, Logic and Information celebrada en Barcelona, agostode 1995, imparto las siguientes conferencias: “Introduction to m-dimensional Gentzen systems” y “Sequent calculi and Gentzensystems for the finite valued Lukasiewicz propositional logics”.

• En el “Seminari permanent de Lògica Algebraica”, y durante losmeses de enero y febrero de 1996 explico los resultados básicosobtenidos en mi tesis doctoral.

• “Algebraic aspects of MUltlog”. Conferencia invitada en la KurtGödel Society, Viena, 23 abril de 1997.

• “On a pyramidal classification system” Workshop on Statisticsand Operation Research. Universitat Pompeu Fabra. Marzo 1998.

• Presentación de la ponencia “Estad́ıstica i Tractament de Dades”dentro del “Curs sobre el treball de recerca al Batxillerat”, segunencargo de la Subdirecció General de Formació Permanent delDepartament d’Ensenyamentmac de la Generalitat de Catalunya.Sesiones impartidas en Granollers (17-11-99), Girona (24-11-99) yLleida (10-2-2000).

• En relación a ponencias presentadas◦ Ponente en la mesa correspondiente a las asignaturas del área

cuantitativa en la I Trobada de Diplomatures en CiènciesEmpresarials de Catalunya, organizada por la Escola Uni-versitària d’Estudis Empresarials de la UPF, 4 de febrero de2000.

• En actividades organizadas por la UPF◦ Ponente en las “III Jornades de bones pràctiques acadèmiques”

en la sesión “La formulación Matemática en el entorno Mood-le”. 21–10–2008.

◦ Ponente en la jornada “Experiències UPF: l’ús de Qüestiona-ris a l’Aula Global-Moodle” organizado por el CQUID. 3 dejunio de 2009

◦ Ponente en la “1era Pick-Up idees” (15–11–2011). Organizadapor el CQUID.

◦ Imparto los cursos “Edició de textos per a tesis UPF–LATEX Iy II” abril de 2010 y mayo del 2012, ambos de 9 horas. Diri-gido al personal de soporte de la Factoria y organizado por lasecció de Desenvolupament, Recursos Humans UPF.

15

◦ Imparto el curso “Edición en LATEX” dirigido al profesoradode la Universidad. Curso de 9 horas los d́ıas 7, 21 y 28 denoviembre de 2012.

9. Cursos y seminarios recibidos

• Cursos de doctorado en el Departamento de Lógica, Historia yFilosof́ıa de la Ciencia de la Universidad de Barcelona.

• Un seminario semanal dentro de las actividades del “Seminari per-manent de Lògica Algebraica”.

• Asisto al Meeting on Mathematical Logic, organizado por el Cen-tre de Recerca Matemàtica, Universitat Autònoma de Barcelona,enero de 1994.

• Asisto a diversos seminarios dentro de la 7th. European SummerSchool in Language, Logic and Information, celebrada en Barce-lona (agosto de 1995), entre los que destacan:

◦ “Descriptive Complexity Theory”, J. Flum (U. de Freiburg).◦ “Automated Deduction in Non-Classical Logics”, L. A. Wa-

llen (U. d’Oxford).

◦ “Methods for Constructing and Manipulating Logical Sys-tems”, Dov M. Gabbay (Imperial College of Science, Tech-nology and Medicine).

• Marzo de 2002. Curso “Tècniques de presentaćıó en públic” dentrodel “Pla de formació per a la formació docent” de la UniversitatPompeu Fabra.

• Curso de “Flash MX avanzado”, de 24 hores, organitzado por laUniversitat pompeu Fabra i financiado por el PQE (Programa deQualitat Educativa) y impartido en “Bit, formació informàtica”,plaça Tetuan 2, 08010 Barcelona. Enero–marzo de 2005.

• Asistencia a actos organizados por el CQUID (Centro para la Ca-lidad e Innovación Docente–UPF).

◦ Sesión “Como he de preparar el Aula Global-Moodle para miasignatura” impartido por Rafael Oliver (13-1-2009). Dura-ción: 1 hora.

◦ Curso “NET-GENERATION: Eines i estratègies aplicades ala docència per al nou model d’estudiant” impartido por HugoPardo Kuklinski (16-6-2010). Duración 2.5 horas.

16

◦ Curso “La creativitat s’encomana” impartido por Oriol Ripoll(11-12-2011). Duración 2 horas.

◦ Seminario-Coloquio “La nueva manera de enseñar y de cómoaprenden mis estudiantes: próximas tendencias” impartidopor Germán Ruipérez y Daniel Cassany (13-11-2012). Dura-ción: 2 horas.

◦ Workshop “Somriu! T’estàs gravant. Manual bàsic per elabo-rar v́ıdeos educatius universitaris – Sonŕıe, te estás grabando.Manual básico para elaborar v́ıdeos educativos universitarios”impartido por Manel Jiménez (Facultad de Comunicación–UPF) el 18/06/2013. Duración 3 horas.

10. Becas, ayudas y premios recibidos

1. Short Term scientific mission de la Acción COST n. 15 financiadapor la Comisión Europea. Me fue concedida financiación para rea-lizar una estancia de Investigación durante el mes de abril de 1997en el Institut für Algebra de la Technische Universität de Viena,para colaborar con el grupo del Dr. Matthias Baaz.

2. Ayudas para asistir a las reuniones mencionadas de la AcciónCOST.

3. Ayudas de la Universidad Pompeu Fabra para asistir a diferentescongresos.

4. Ayudas de la Universidad Pompeu Fabra para asistir a un cursode inglés espećıfico para usos académicos.

5. Colaborador del proyecto de investigación La desigualtat salarial aCatalunya a la dècada dels 90. Evolució i perpectives, junto con J.González i Calvet (U. de Barcelona) y Pere Mir i Artigues (U. deLleida). Este proyecto, de un año de duración, ha sido financiadopor la Fundació Jaume Bofill. Dió lugar a la publicación del libro“La desigualtat salarial a Catalunya” (1995-2002).

6. Responsable del proyecto SIREMA: SIstema de REcolzament al’Estudi de les Matemàtiques- SIstema de REfuerzo al Estudio lasMAtemáticas. Este proyecto ha recibido las siguientes subvencio-nes de la Universitat Pompeu Fabra a través del PQE: Programaper la Qualitat Educativa:

• Proyecto SIREMA (importe 1.535 euros). Convocatoria 2002-03.

17

• Proyecto SIREMA. Reducción del PAD (importe 3.453 euros).Convocatoria 2002-03.

7. Participante en la elaboración del “Manual d’introducció a laDocència: Horitzó Bolonya”, preparado por el PQE (Programa deQualitat Educativa) de la Universitat Pompeu Fabra. Este manualrecibió la Distinció Jaume Vicens Vives a la qualitat Universitaria(premio colectivo con una dotación de 20.000 euros) otorgado porla Generalitat de Catalunya (septiembre de 2004). Este manualha sido editado por la Universidad Pompeu Fabra en octubre de2005 y con depósito legal B.37820-2005.

8. Premio del “Consejo social de la UPF” a la calidad en la docencia,modalidad de “reconocimiento docente dentro de una titulación”.Importe del premio 1000 euros. Septiembre de 2010.

9. Responsable del proyecto de organización de la “III Jornada in-teruniversitaria d’Innnovació Docent en Matemàtica Aplicada al’Economia i l’Empresa”, proyecto finaciado por el CQUID con1500 euros y cuya jornada se realizó en la UPF el d́ıa 8 de juliode 2011.

10. Responsable del proyecto del CQUID “Generació automàtica imassiva de preguntes de càlcul pels tests (Quiz) de Moodle”. Con-vocatoria 2012-13.

11. Colaborador del proyecto 13 PlaQUID 2013-2014 para elaborarv́ıdeos docentes para las asignaturas de Matemáticas. Responsa-ble: Pelegŕı Viader.

11. Otros méritos docentes o de investi-

gación

Tramos de investigación, docencia y gestión recono-cidos

1. De investigación: un sexenio estatal y uno autonómico.

2. De docencia: cuatro quinquenios estatales y autonómicos.

3. Gestión: un tramo.

18

Otros

• Actividad docente◦ Cursos 1996-97 y 1998-99. Curso “Matemáticas y Derive” en

la Escuela Universitaria del Maresme, adscrita a la Universi-dad Pompeu Fabra.

• En relación a innovación docente:◦ Responsable del proyecto SIREMA: SIstema de REcolzament

a l’Estudi de les Matemàtiques- SIstema de REfuerzo al Estu-dio las MAtemáticas. Este sistema está pensado para facilitarel estudio de las matemáticas utilizando la tecnoloǵıa dispo-nible en el Campus Global de la Universitat Pompeu Fabra ypara adaptar la docencia de las matemáticas a los estudios degrado (reducción de la presencialidad, redefinición del concep-to de crédito...). Un ejemplo de su filosof́ıa y contenido puedeencontrarse en

http://www.econ.upf/sirema.

El proyecto ha recibido dos subvenciones de la UniversitatPompeu Fabra.

◦ Miembro del proyecto de innovación docente “Xarxa interuni-versitària virtual per a la innnovació docent en MatemàticaAplicada a les Ciències Econòmiques i Empresarials”, sub-vencionado por la Generalitat de Catalunya (2005MQD0005).Responsable del proyecto: Roman Jordi Adillon Boladeres.Cuant́ıa de la subvención 6000 euros. Duración del proyecto2 años.

◦ Miembro del proyecto de innovación docente “Formació bàsicai recerca en l’àmbit de les ciències socials: projecte de mi-llora de la formació en estad́ıstica i matemàtiques dels estu-diants”, subvencionado por la Generalitat de Catalunya (códi-go 2009MQD0005). Responsable del proyecto: Anna Cuxarti Jard́ı. Cuant́ıa de la subvención 6000 euros. Duración delproyecto 2 años.

◦ Participación en congresos de docencia� Asistencia al Simposio Internacional “Docencia, Investi-

gación y aprendizaje”. Barcelona 6-5-2009.

� “VI Congreso Internacional de Docencia Universitaria eInnovación (CDUI)” (30 de junio, 1 y 2 de julio de 2010).Universitat Politècnica de Catalunya, Barcelona.

19

� “VII Congrés Internacional de Docència Universitària iInnovació (CDUI)” (3,4 y 5 de Julio de 2012). UniversitatPompeu Fabra, Barcelona.

• Publicaciones◦ Elaboración de apuntes de Informática I, Matemáticas I e

Informática II de la Escuela de Ciències Empresarials, Uni-versitat Pompeu Fabra.

◦ Listas de problemas de las asignaturas que he impartido.• Organización de Congresos y jornadas cient́ıficas:

◦ Miembro del Comité Organizador del segundo Workshop /Conference de la Acción COST n 15, celebrada en Barcelonaen junio de 1996.

◦ Miembro del Comité de Programa de les “Jornades d’Intel·ligènciaArtificial”, celebradas del 23 al 25 de octubre de 1997 en Llei-da.

◦ Miembro del Comité Organizador del congreso Algebraic andTopological Methods in Non-Classical Logics II, Barcelona 15-18 de junio de 2005.

◦ Miembro de los comités cient́ıficos de los congresos de docen-cia

1. “VI Congreso Internacional de Docencia Universitaria eInnovación – VI Congrés Internacional de Docència Uni-versitària i Innovació (CDUI)” (30 de junio, 1 y 2 de juliode 2010). Universitat Politècnica de Catalunya, Barcelo-na.

2. “VII Congreso Internacional de Docencia Universitaria eInnovación –VII Congrés Internacional de Docència Uni-versitària i Innovació (CDUI)” (3 ,4 y 5 de Julio de 2012).Universitat Pompeu Fabra, Barcelona.

3. “VIII Congreso Internacional de Docencia Universitaria eInnovación –VIII Congrés Internacional de Docència Uni-versitària i Innovació (CDUI)” (2 , 3 y 4 de Julio de 2014).Universitat Pompeu Fabra, Barcelona.

• Participación en tribunales de tesis doctorales◦ Vocal suplente en el tribunal de la tesis doctoral “Proof pro-

cedures for Multiple-valued Propositional Logics”, presentadapor F. Manyà (UAB), 1995.

20

◦ Vocal suplente en el tribunal de la tesis doctoral presentadapor J. Gispert (UB): “Estudi algebraic de les Extensions delsCàlculs Multivalorats de Lukasiewicz”. 1998.

◦ Vocal suplente en el tribunal de la tesis doctoral de t́ıtulo“Contribució a l’estudi de les lògiques proposicionals intui-cionistes i de Gödel sense contracció, i dels seus fragments”presentada por Romà Adillon (UB). 2001.

◦ Vocal en el tribunal de la tesis doctoral de t́ıtulo “Lògica ifonaments: 1850–1920. Un estudi comparatiu de les contri-bucions del corrent algebràic i logicista a la lògica contem-porània.” presentada por Joan Roselló Moya en la Universitatde Barcelona (2003). Director de la tesis: Josep Pla i Carreras(UB).

◦ Vocal en el tribunal de la tesis doctoral de t́ıtulo “Estructu-ras casi–modales e implicativas genralizadas.” presentada porJorge Ernesto Castro en la Universitat de Barcelona (2004).Directores de la tesis: Sergio Celani y Ramon Jansana.

• Miembro de la Associacion for Symbolic Logic, de la “Societat Ca-talana de Matemàtiques” y de la “Asociación española de Lógica,Filosof́ıa y Metodoloǵıa de la Ciencia”.

• Idiomas (castellano y catalán nativos). Francés y Inglés excelente.Italiano nivel medio. Nociones de alemán a nivel de lectura.

• Asistencia al IV Congreso Internacional de Análisis Multidimen-sional de Datos Bilbao, 10-12 de septiembre de 1997.

• Conocimientos de Informática: MacOS, MS-DOS, Windows, UNIX,LINUX; PROLOG, LISP, C, Derive, Maple, LATEX, WordPerfect,Word, Lotus, 1-2-3, Excel, DBase III, DBase IV; Minitab, SPSS,S, R, Access.

• Referee para las revistas “Estad́ıstica Española” ,“Theoria” y “FuzzySets and Systems”.

12. Cargos Académicos

• Marzo de 2002 – mayo de 2010. Secretario Académico de la EscuelaUniversitaria de Ciencias Empresariales.

• Marzo de 2002 – mayo 2010: Tutor Académico encargado de per-manencias en la Escuela Universitaria de Ciencias Empresariales.

21

• Febrero de 2007– hasta la actualidad: Coordinador de las Prue-bas de Acceso a la Universidad (PAU) de la Universidad PompeuFabra.

• Septiembre de 2010– hasta la actualidad: Coordinador de Movi-lidad (Intercambios y Erasmus) de la Facultad de Economı́a yEmpresa de la Universidad Pompeu Fabra.

13. Otros méritos

• En relación a las “Pruebas Aptitud para el Acceso a la Universi-dad” (PAAU)

◦ Vocal corrector de les asignaturas Matemáticas I y II en lasPAAU de los cursos 1992-93 hasta el 1995-96. Presidente detribunal de las PAAU los cursos 1996-97, 97-98 y 98-99. Pre-sidente de Tribunal de las PAAU-LOGSE del curso 1999-2000al 2005–06.

◦ Subcoordinador de la materia de Matemáticas I de les PAAUpara los cursos 1996-97 y 1997-98 por la Universidad PompeuFabra.

• En relación a cargos y pertenencia a Comisiones en la UniversitatPompeu Fabra

◦ 1992-1997. Vocal en representación de los estudios Empresa-riales en la Comisión de Biblioteca de la Universidad PompeuFabra.

◦ 1992. Miembro del Claustro Constituyente de la UniversitatPompeu Fabra.

◦ 1992-1996 Miembro electo del Claustro de la Universitat Pom-peu Fabra en representación del profesorado del Departamen-to de Economı́a y Empresa.

◦ 1993-1999. Miembro de la Junta Electoral de la UniversitatPompeu Fabra en representación del profesorado.

◦ Marzo de 2002 – diciembre 2008: Vocal en la Comisión deconvalidaciones de la Universidad Pompeu Fabra en represen-tación de la Escuela Universitaria de Ciencias Empresariales.

◦ 2004. Miembro de la comité interno de evaluación de las Di-plomaturas de Ciencias Empresariales.

◦ 1999-2005 Miembro de la Comisión Permanente del Departa-mento de Economı́a y Empresa.

22

◦ Diciembre de 2008 – hasta la actualidad: Vocal en la Comi-sión de Reconocimiento de créditos de la Universidad PompeuFabra.

• Como Coordinador de Movilidad de la facultad

◦ Visita a las Universidades City University London, Regent’sCollege, St. Andews y Essex. Reino Unido, mayo de 2011.

◦ Asistencia a las jornadas “Partner and Affiliate Meeting”, Re-gent’s College Londres, enero de 2012.

◦ Asistencia a la reunión de la “EAIE (European Associationfor International Education”, Estambul, septiembre de 2013.

◦ Participante en la comisión redactora del Self-evaluation Re-port y en la reunión con el comité evaluador internacionalpara conseguir la acreditacion del European Consortium forAccreditation–ECA a la calidad de la internalización de la Fa-cultat (CeQuIint).

23