PROFESSORAT

Nom	Institució	Especialitat
Albert Atserias	DCS (UPC)	Complexitat computacional, Teoria de models finits
Joan Bagaria	ICREA - DMiI (UB)	Teoria de conjunts
Enrique Casanovas	DMiI (UB)	Teoria de models
Rafel Farré	DMA (UPC)	Teoria de models
Joan Gispert	DMiI (UB)	Lògica algebraica, lògiques no clàssiques
Ramon Jansana	DF (UB)	Lògica algebraica, lògiques no clàssiques
Joost J. Joosten	DF (UB)	Lògica modal, teoria de la prova
Paolo Maffezioli	DF (UB)	Història de la lògica, filosofía de la lògica
Juan Carlos Martínez	DMiI (UB)	Teoria de conjunts
Antoni Torrens	DMiI (UB)	Lògica algebraica, lògiques no clàssiques

	Institucions
	DF	Departament de Filosofia (UB)
	ICREA	Institució Catalana de Recerca i Estudis Avançats
	DCS	Departament de Ciències de la Computació (UPC)
	DMA	Departament de Matemàtiques (UPC)
	DMiI	Departament de Matemàtiques i Informàtica (UB)
	UB	Universitat de Barcelona
	UPC	Universitat Politècnica de Catalunya

Grups de recerca

Tots els professors del Màster són investigadors en actiu. Molts d'ells estan integrats en grups de recerca institucionalitzats:

• Algorísmica, bioinformàtica, complexitat i mètodes formals
   
• Intel·ligència artificial
   
• Lògiques no clàssiques
   
• Raonament aproximat i soft computing
   
• Grup de recerca en teoria de conjunts de Barcelona
   
• Grup de recerca en teoria de models