PROFESORADO

Nombre	Institución	Especialidad
Albert Atserias	DCS (UPC)	Complejidad computacional, Teoría de modelos finitos
Joan Bagaria	ICREA - DMiI (UB)	Teoría de conjuntos
Enrique Casanovas	DMiI (UB)	Teoría de modelos
Rafel Farré	DMA (UPC)	Teoría de modelos
Joan Gispert	DMiI (UB)	Lógica algebraica, lógicas no clásicas
Ramon Jansana	DF (UB)	Lógica algebraica, lógicas no clásicas
Joost J. Joosten	DF (UB)	Lógica modal, teoría de la prueba
Paolo Maffezioli	DF (UB)	Historia de la lógica, filosofía de la lógica
Juan Carlos Martínez	DMiI (UB)	Teoría de conjuntos
Antoni Torrens	DMiI (UB)	Lógica algebraica, lógicas no clásicas

	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