PROFESSORAT

Nom	Institució	Especialitat
Albert Atserias	DCS (UPC)	Complexitat computacional
Joan Bagaria	ICREA - DMiI (UB)	Teoria de conjunts
Jose Luis Balcázar	DCS (UPC	Lògica en extracció de dades
Enrique Casanovas	DMiI (UB)	Teoria de models
Rafel Farré	DMA (UPC)	Teoria de models
Joan Gispert	DMiI (UB)	Lògiques multivalorades
Ramon Jansana	DF (UB)	Lògica algebraica, lògiques no clàssiques
Joost J. Joosten	DF (UB)	Teoria de la demostració i demostració automàtica
Juan Carlos Martínez	DMiI (UB)	Teoria de la demostració i demostració automàtica
Tommaso Moraschini	DF (UB)	Lògica algebraica abstracta

	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