LOGPROG - Lógica y Programación

Usted está aquí

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

Producción científica

Da un vistazo a la página web de la producción científica de la investigación de la UPC:futur.upc.edu

FUTUR UPC

Descubre toda la producción Científica de los investigadores de la FIB en el portal FUTUR de la UPC

Trabajos fin de grado y masteres

Descubre los proyectos llevados a cabo por estudiantes de la FIB 

 

Estudio bibliometrico elaborado por la Biblioteca Gabriel Ferraté
Estudio comparativo de la publicación científica en el ámbito de la informática en la UPC vs. otras universidades de ámbito nacional y internacional