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