LOGPROG - Logic and Programming

You are here

The Logic and Programming research group (LOGPROG) is formed by members of the Department of Computer Science.

The group focuses its research in the area of logics and theoretical computer science. Their main lines of research are:

  • Logics in computer science
  • Computational complexity
  • Constraint-problem solving
  • Advanced programming techniques
  • Inference

Scientific Production

Take a look at the Website for the scientific production of UPC researchers: futur.upc.edu

FUTUR UPC

Descobreix tota la producció Científica dels investigadors de la FIB al portal FUTUR de la UPC

Treballs de fi de grau i màster dels estudiants

Descobreix al portal de coneixement obert de la UPC els projectes duts a terme per estudiants de la FIB 

 

Estudi bibliomètric elaborat per la Biblioteca Gabriel Ferraté
Estudi comparatiu de la publicació científica en l’àmbit de la informàtica a la UPC vs. altres universitats d’àmbit nacional i internacional