(SHORT) CURRICULUM VITAE
 

• Born in Barcelona (Catalonia)
• Bachelor and Master in Mathematics at the University of Barcelona (1976)
• Ph. D. in Mathematics at the University of Barcelona (1981)
     Title of dissertation: Algebraic study of some intuitionistic modal logics
     Advisor: Francesc d'A. Sales Vallès
• Research fellow, 1977–1980
     (Department of Statistics, University of Barcelona)
• Assistant professor, 1976–1982
     (Departments of Statistics and of Algebra and Foundations,
     University of Barcelona)
• Associate Professor, 1982–2003
     (Department of Algebra and Foundations and Department of Logic,
     History and Philosophy of Science, University of Barcelona)
• Professor, 2003–2005
     (Department of Logic, History and Philosophy of Science, University of Barcelona)
  
• Professor, 2005–
     (Department of Probability, Logic, and Statistics, University of Barcelona)

• Dean of the Faculty of Mathematics, University of Barcelona, 1987–1990

• Secretary of the Executive Committee of the Catalan Mathematical Society, 2002–2006

• Invited talks:
  • An open problem in algebraic logic. 2nd Barcelona Logic Meeting (Bellaterra, June–July 1995)
  • On the contributions of Helena Rasiowa to Mathematical Logic. 26th International Symposium on Multiple-Valued Logic (Santiago de Compostela, 30 May 1996)
  • Generalized matrices and full models. Workshop on Abstract Algebraic Logic (Bellaterra, July 1997)
  • An abstract algebraic logic view of some multiple-valued logics. Workshop on Theory and Applications of Multiple-Valued Logic (Warsaw, 25 May 2001)
  • Fully adequate Gentzen systems in Abstract Algebraic Logic. Special Session on Algebraic Logic and Universal Algebra, First International Joint Meeting of the American Mathematical Society and the Unione Matematica Italiana (Pisa, 12–16 June 2002)
  • Abstract Algebraic Logic. Workshop "Logiche non classiche e teoria della dimostrazione" (Florence, 14 February 2003)
  • The isomorphism theorem. 50 Years of Studia Logica - Trends in Logic (The Carlsberg Academy, Copenhagen, 20–22 November 2003)
  • Models and algebras for Gentzen systems. Workshop on Modal and Substructural Logics (Japan Advanced Institute of Science and Technology, Nomi, 18 October 2004)
  • An algebraic approach to nonclassical logics. Trends in Logic III (Hommage to Mostowski, Rasiowa, Rauszer) (Warsaw/Ruciane-Nida, 23–26 September 2005)
  • Compatibility in algebra, logic and computer science. 2nd Catalan-Czech Conference of Mathematics (Barcelona, 21–23 September 2006)
  • Substructural logics preserving degrees of truth. Algebra and Substructural Logics 3 (Kraków, 6–8 November 2006)
  • Leibniz filters in some semilattice based logics. First Sardinian-Catalan Workshop on Algebraic and Fuzzy Logics (Cagliari, 5–6 October 2007)

• Editorial work:
  • Editor for Logic of Theoria (San Sebastián), 1996–2002
  • Member of the Editorial Board of Reports on Mathematical Logic (Kraków), 2000–
  • Member of the Advisory Committee of Theoria (San Sebastián), 2003–
  • Editor of the Butlletin of the Catalan Mathematical Society, 2004–
  • Associate editor of Studia Logica, 2004–

• Member of:
  • Societat Catalana de Matemàtiques (the Catalan Mathematical Society)
  • Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España
  • Interest Group in Pure and Applied Logic
  • Association for Logic, Language and Information
  • European Mathematical Society
  • Association for Symbolic Logic
  • American Mathematical Society
  • TeX Users Group