PROFESORADO

Nombre	Institución	Especialidad
Albert Atserias	LSI (UPC)	Complejidad computacional, Teoría de modelos finitos
Calixto Badesa	LHFC (UB)	Historia de la lógica
Joan Bagaria	ICREA - LHFC (UB)	Teoría de conjuntos
José Luis Balcázar	LSI (UPC)	Complejidad computacional
Maria Lluïsa Bonet	LSI (UPC)	Complejidad computacional, Teoría de la demostración
Enrique Casanovas	LHFC (UB)	Teoría de modelos
Pilar Dellunde	FIL (UAB)	Teoría de modelos
Raimon Elgueta	MA (UPC)	Lógica algebraica y categorial
Francesc Esteva	IIIA (CSIC)	Lógicas borrosas e inteligencia artificial
Rafel Farré	MA (UPC)	Teoría de modelos
Josep Maria Font	PLE (UB)	Lógica algebraica, lógicas no clásicas
Pere Garcia	IIIA (CSIC)	Lógicas borrosas e inteligencia artificial
Joan Gispert	PLE (UB)	Lógica algebraica, lógicas no clásicas
Ignasi Jané	LHFC (UB)	Filosofía de la matemática
Ramon Jansana	LHFC (UB)	Lógica algebraica, lógicas no clásicas
Juan Carlos Martínez	PLE (UB)	Teoría de conjuntos
Glyn Morrill	LSI (UPC)	Lingüística computacional
Antoni Torrens	PLE (UB)	Lógica algebraica, lógicas no clásicas
Ventura Verdú	PLE (UB)	Lógica algebraica, lógicas no clásicas

	Instituciones
	CSIC	Consejo Superior de Investigaciones Científicas
	FIL	Departamento de Filosofía
	ICREA	Institució Catalana de Recerca i Estudis Avançats
	IIIA	Instituto de Investigación en Inteligencia Artificial
	LHFC	Departamento de Lógica, Historia y Filosofía de la Ciencia
	LSI	Departamento de Lenguajes y Sistemas Informáticos
	MA	Departamento de Matemática Aplicada II
	PLE	Departamento de Probabilidades, Lógica y Estadística
	UAB	Universidad Autónoma de Barcelona
	UB	Universidad de Barcelona
	UPC	Universidad Politécnica de Cataluña

Grupos de investigación

Todos los profesores del Máster son investigadores en activo. Muchos de ellos están integrados en grupos de investigación institucionalizados:

• Algorítmica, bioinformática, complejidad y métodos formales
   
• Inteligencia artificial
   
• Lógicas no clásicas
   
• Razonamiento aproximado y soft computing
   
• Grupo de investigación en teoría de conjuntos de Barcelona
   
• Grupo de investigación en teoría de modelos