PROFESSORAT

Nom	Institució	Especialitat
Albert Atserias	LSI (UPC)	Complexitat computacional, Teoria de models finits
Calixto Badesa	LHFC (UB)	Història de la lògica
Joan Bagaria	ICREA - LHFC (UB)	Teoria de conjunts
José Luis Balcázar	LSI (UPC)	Complexitat computacional
Maria Lluïsa Bonet	LSI (UPC)	Complexitat computacional, Teoria de la demostració
Enrique Casanovas	LHFC (UB)	Teoria de models
Pilar Dellunde	FIL (UAB)	Teoria de models
Raimon Elgueta	MA (UPC)	Lògica algebraica i categorial
Francesc Esteva	IIIA (CSIC)	Lògiques borroses i intel·ligència artificial
Rafel Farré	MA (UPC)	Teoria de models
Josep Maria Font	PLE (UB)	Lògica algebraica, lògiques no clàssiques
Pere Garcia	IIIA (CSIC)	Lògiques borroses i intel·ligència artificial
Joan Gispert	PLE (UB)	Lògica algebraica, lògiques no clàssiques
Ignasi Jané	LHFC (UB)	Filosofia de la matemàtica
Ramon Jansana	LHFC (UB)	Lògica algebraica, lògiques no clàssiques
Juan Carlos Martínez	PLE (UB)	Teoria de conjunts
Glyn Morrill	LSI (UPC)	Lingüística computacional
Antoni Torrens	PLE (UB)	Lògica algebraica, lògiques no clàssiques
Ventura Verdú	PLE (UB)	Lògica algebraica, lògiques no clàssiques

	Institucions
	CSIC	Consell Superior d'investigacions Científiques
	FIL	Departament de Filosofia
	ICREA	Institució Catalana de Recerca i Estudis Avançats
	IIIA	Institut d'investigació en Intel·ligència Artificial
	LHFC	Departament de Lògica, Història i Filosofia de la Ciència
	LSI	Departament de Llenguatges i Sistemes Informàtics
	MA	Departament de Matemàtica Aplicada II
	PLE	Departament de Probablilitat, Lògica i Estadística
	UAB	Universitat Autònoma de Barcelona
	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