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
Félix Bou	PLiE (UB)	Lógica modal
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	PLiE (UB)	Lógica algebraica, lógicas no clásicas
Pere Garcia	IIIA (CSIC)	Lógicas borrosas e inteligencia artificial
Joan Gispert	PLiE (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
Joost J. Joosten	LHFC (UB)	Lógica modal, teoría de la prueba
Juan Carlos Martínez	PLiE (UB)	Teoría de conjuntos
Glyn Morrill	LSI (UPC)	Lingüística computacional
Antoni Torrens	PLiE (UB)	Lógica algebraica, lógicas no clásicas
Ventura Verdú	PLiE (UB)	Lógica algebraica, lógicas no clásicas

	Instituciones
	CSIC	Consejo Superior de Investigaciones Científicas
	FIL	Departamento de Filosofía (UAB)
	ICREA	Institució Catalana de Recerca i Estudis Avançats
	IIIA	Instituto de Investigación en Inteligencia Artificial (CSIC)
	LHFC	Departamento de Lógica, Historia y Filosofía de la Ciencia (UB)
	LSI	Departamento de Lenguajes y Sistemas Informáticos (UPC)
	MA	Departamento de Matemática Aplicada II (UPC)
	PLiE	Departamento de Probabilidades, Lógica y Estadística (UB)
	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