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
Enrique Casanovas	LHFC (UB)	Teoria de models
Rafel Farré	MA (UPC)	Teoria de models
Josep Maria Font	PLiE (UB)	Lògica algebraica, lògiques no clàssiques
Joan Gispert	PLiE (UB)	Lògica algebraica, lògiques no clàssiques
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
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 (UB)
	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