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ó
Félix Bou	PLiE (UB)	Lògica modal
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	PLiE (UB)	Lògica algebraica, lògiques no clàssiques
Pere Garcia	IIIA (CSIC)	Lògiques borroses i intel·ligència artificial
Joan Gispert	PLiE (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
Joost J. Joosten	LHFC (UB)	Lògica modal, teoria de la prova
Juan Carlos Martínez	PLiE (UB)	Teoria de conjunts
Glyn Morrill	LSI (UPC)	Lingüística computacional
Antoni Torrens	PLiE (UB)	Lògica algebraica, lògiques no clàssiques
Ventura Verdú	PLiE (UB)	Lògica algebraica, lògiques no clàssiques

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