Doctor en Ciencias Matemáticas por la Universidad Complutense de Madrid (lectura de la tesis en el año 1983 en la Facultad de Matemáticas de dicha universidad).  Fui profesor de la Facultad de Matemáticas  de la Universidad Complutense desde el año 1978 hasta el año 1991, año en el que  comencé mi actividad  como catedrático en la Facultat de Matemàtiques de la Universitat de Barcelona.

En todos estos años , he dado fundamentalmente cursos de materias relacionadas con la Lógica Matemática y las Ciencias de la Computación, en concreto cursos sobre Informática básica, programación, teoría de autómatas, complejidad de algoritmos, demostración automática de teoremas, teoría de conjuntos y teoría de modelos. He participado en 8 proyectos de investigación del Ministerio, habiendo sido el investigador principal en 6 de ellos. Asimismo, he participado en 4 proyectos de investigación de la Generalitat de Catalunya. He escrito un total de 26 artículos en revistas científicas, de los cuales 19 son trabajos individuales. De esos 26 artículos, 23 se han publicado en revistas de impacto (según los repertorios JCR (ránking de  SCI) y SJR (ránking de SCOPUS)).  En concreto, he publicado en las siguientes revistas:  "Journal of Symbolic Logic", "Zeitschrift für Mathematische Logik und Grundlagen der Mathematik", "Notre Dame Journal of FormalLogic", "Mathematical Logic Quarterly",  "Fundamenta Mathematicae", "Theoria",  "Archive for Mathematical Logic", "Annals of Pure and Applied Logic",  "Topology and its Applications", "Topology Proceedings", "Questions and Answers in General Topology", "Israel Journal of Mathematics", "Revista Matemática de la Universidad Complutense de Madrid",  "Proceedinigs of the American Mathematical Society",  "Butlletí de la Societat Catalana de Matemàtiques" y "Commentationes Mathematicae Universitatis Carolinae". He participado en un total de 26 congresos sobre Lógica o Topología. He sido profesor invitado por las siguientes universidades y centros de investigación: Universidad de Friburgo (Alemania), Universidad de Bonn, Universidad Católica de Santiago de Chile,  Universidad de San Diego (California), Universidad de Paris VII, Sociedad Kurt Gödel de Viena, Centro de Investigación en Matemáticas de Banff (Canadá), Universidad del País Vasco, Universidad Complutense de Madrid,  Centre de Recerca Matemàtica de Barcelona i  Universitat Rovira i Virgili de Tarragona.

Grup de recerca

- Lógica Matemática

Línies de recerca

- Álgebras de Boole

- Teoría de Conjuntos

- Teoría de Modelos

- Topologia

Activitats docents

- Complejidad de Algoritmos

- Lógica

- Programació I

- Teoría de Autómatas