El grupo de investigación en Lógica y Programación (LOGPROG) está formado por miembros del departamento de Ciencias de la Computación.
El grupo focaliza su investigación en el campo de lógica y la informática teórica básica. Las principales líneas de investigación son:
- Lógica en la informática
- Complejidad computacional
- Resolución de problemas con restricciones
- Técnicas de programación avanzada
- Deducción automática