PROFESORADO

Nombre	Institución	Especialidad
Albert Atserias	DCS (UPC)	Complejidad computacional
Joan Bagaria	ICREA - DMiI (UB)	Teoría de conjuntos
Jose Luis Balcázar	DCS (UPC	Lógica en extracción de datos
Enrique Casanovas	DMiI (UB)	Teoría de modelos
Rafel Farré	DMA (UPC)	Teoría de modelos
Joan Gispert	DMiI (UB)	Lógicas multivaloradas
Ramon Jansana	DF (UB)	Lógica algebraica, lógicas no clásicas
Joost J. Joosten	DF (UB)	Teoría de la demostración y demostración automática
Juan Carlos Martínez	DMiI (UB)	Teoría de la demostración y demostración automática
Tommaso Moraschini	DF (UB)	Lógica algebraica abstracta

	Instituciones
	ICREA	Institució Catalana de Recerca i Estudis Avançats
	DF	Departamento de Filosofía (UB)
	LSI	Departamento de Ciencias de la Computación (UPC)
	DMA	Departamento de Matemáticas (UPC)
	DMiI	Departamento de Matemáticas e Informática (UB)
	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