Informació per a l’estudiant – Màster en Lògica Pura i Aplicada (biennal)
Professorat
INSTITUCIONS
ICREA: Institució Catalana de Recerca i Estudis Avançats
DF: Departament de Filosofia (UB)
DMiL: Departament de Matemàtiques i Informàtica (UB)
DMA: Departament de Matemàtiques (UPC)
DCS: Departament de Ciències de la Computació (UPC)
UB: Universitat de Barcelona
UPC: Universitat Politècnica de Catalunya
Grups de Recerca
Tots els professor 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
| Albert Atserias | DCS (UPC) | Complexitat computacional, Teoria de models finits | atserias@cs.upc.edu |
| Joan Bagaria | ICREA - M (UB) | Teoria de conjunts | joan.bagaria@icrea.es |
| Enrique Casanovas | DMiL (UB) | Teoria de models | e.casanovas@ub.edu |
| Rafel Farré | MA (UPC) | Teoria de models | rafel.farre@upc.edu |
| Joan Gispert | DMiL (UB) | Lògica algebraica, lògiques no clàssiques | jgispertb@ub.edu |
| Ramon Jansana | DF (UB) | Lògica algebraica, lògiques no clàssiques | jansana@ub.edu |
| Joost J. Joosten | DF (UB) | Lògica modal, teoria de la prova | jjoosten@)ub.edu |
| Juan Carlos Martínez | DMiL (UB) | Teoria de conjunts | jcmartinez@ub.edu |
| Paolo Maffezioli | DF (UB) | Història de la Lògica | paolo.maffezioli@ub.edu |
| Antoni Torrens | DMiL (UB) | Lògica algebraica, lògiques no clàssiques | atorrens@ub.edu |
