(SHORT) CURRICULUM VITAE

Born in Alpicat (Lleida, Catalonia)

Bachelor and Master in Mathematics at the University of Barcelona (1974)

Ph. D. in Mathematics at the University of Barcelona (1978) Title of dissertation: Contribució a l'estudi de certs tipus de lògiques abstractes  Advisor: Francesc d'A. Sales Vallès

Associate Professor, 1982–2005    Department of Logic,History and Philosophy of Science, University of Barcelona)

Associate Professor, 2005–2011 (Department of Probability, Logic, and Statistics University of Barcelona)

Professor, 2011– (Department of Probability, Logic, and Statistics University of Barcelona)

 

Supervisor in the following PhD thesis
 

(20 November 2007) J. Àngel García Cerdaña: Logics based on triangular norms: a contribution to the study of their substructural aspects, supervised by Francesc Esteva and Ventura Verdú

(26 June 2001) Román Adillón: Contribution ot the study of intuitionistic and Gödel logics without contraction and of their fragments, supervised by Ventura Verdú

(17 April 1996) Àngel Javier Gil: Multidimensional Gentzen systems and finitely valued logics. Theory and Applications, supervised by Antoni Torrens and Ventura Verdú

(April 1994) Jordi Rebagliato: Algebraizable Gentzen systems and the Deduction Theorem, supervised by Ventura Verdú

 

Participation as main researcher in funded R+D projects from public calls

 

Title of the project: Lógica algebraica. Kind of Program: Programa Nacional de Promoción General del Conocimiento Financing administration: Secretaría de Estado de Universidades e Investigación Number of the project: PB86-0269 Duration, since: 1987 Until: 1990 Title of the project: Lógica algebraica Kind of Program: Programa Nacional de Promoción General del Conocimiento Financing administration: Secretaría de Estado de Universidades e Investigación Number of the project: PB94-0920 Duration, since: 1995 Until: 1998 Title of the project: Procedimientos Genéricos de Decisión para Lógicas Finitamente Valoradas Kind of Program: Acciones Integradas Financing administration: Ministerio de Educación, Cultura y Deporte Number of the project: HU1997-0017 Duration, since: 1998 Until: 1999 Title of the project: Lógica Algebraica y Lógicas Multivaloradas. Kind of Program: Programa Nacional de Promoción General del Conocimiento Financing administration: Secretaría de Estado de Educación, Universidades, Investigación y Desarrollo Number of the project: PB97-0888 Duration, since: 1998 Until: 2001 Title of the project: Lógicas multivaluadas: fundamentos y aplicaciones al tratamiento de la vaguedad y la imprecisión Kind of Program: Programa Nacional de Tecnologías informáticas Financing administration: Ministerio de Ciencia y Tecnología. Number of the project: TIN2004-07933-C03-02 Duration, since: 2004 Until: 2007 Title of the project: Lógicas multivaluadas: estudio lógico algebraico y aplicaciones a la modelización de la imprecisión y la vaguedad. Kind of Program: Programa Nacional de Tecnologías informáticas Financing administration: Ministerio de Ciencia y Tecnología. Number of the project: TIN2007-68005-C04-04 Duration, since: 2007 Until: 2010