-
Estudios
-
Másteres
- ¿Quieres estudiar un Máster?
- Máster en Ingeniería Informática
- Máster en Ingeniería Informática - Modalidad Empresa
-
Máster en Innovación e Investigación en Informática
- Máster en Inteligencia Artificial
- Master en Ciberseguridad
- Máster en Formación del Profesorado de Educación Secundaria
- Erasmus Mundus Master in Big Data Management and Analytics
- Máster en Ciencia de Datos
- Máster en Movilidad Urbana
- Otros Másteres
-
Másteres
-
Movilidad
- Investigación
- Empresa
-
La FIB
- Estudios
- Grados
- ¿Quieres estudiar un grado?
- Grado en Ingeniería Informática
- Grado en Ciencia e Ingeniería de Datos
- Grado en Inteligencia Artificial
- Grado en Bioinformática
- Grado+Máster en Ingeniería Informática (programa sucesivo)
- Plan de acción Tutorial
- Guía de acogida
- Másteres
- ¿Quieres estudiar un Máster?
- Máster en Ingeniería Informática
- Máster en Ingeniería Informática - Modalidad Empresa
- Máster en Innovación e Investigación en Informática
- Máster en Inteligencia Artificial
- Master en Ciberseguridad
- Máster en Formación del Profesorado de Educación Secundaria
- Erasmus Mundus Master in Big Data Management and Analytics
- Máster en Ciencia de Datos
- Máster en Movilidad Urbana
- Otros Másteres
- Secretaría
- Becas y Ayudas
- Grados
- Movilidad
- Investigación
- Departamentos
- Centros de Investigación
- BSC-CNS - Barcelona Supercomputing Center
- CCABA – Centro de Comunicaciones Avanzadas de Banda Ancha
- CEBIM - Centro de Biotecnología Molecular
- CREB - Centro de Investigación en Ingeniería Biomédica
- CRnE - Centro de Investigación en Nanoingeniería
- TALP - Centro de Tecnologias y Aplicaciones del Lenguaje y el Habla
- Grupos de Investigación
- ALBCOM - Algorismia, Bioinformática, Complejidad y Métodos Formales
- ARCO - Microarquitectura y Compiladores
- CAP - Grupo de Computación de Altas Prestaciones
- CBA - Sistemas de Comunicaciones de Banda Ancha
- CNDS - Redes de Computadores y Sistemas Distribuidos
- DAMA-UPC - Data Management Group
- DCCG - Grupo de investigación en geometría computacional, combinatoria y discreta
- DMAG - Grupo de Aplicaciones Multimedia Distribuidas
- GESSI - Grupo de Ingeniería del Software y de los Servicios
- GIE - Grupo de Informática en la Ingeniería
- GNOM - Grupo de Optimización Numérica y Modelización
- GPLN - Grupo de Procesamiento del Lenguaje Natural
- GRBIO - Grupo de Investigación en Bioestadística y Bioinformática
- GREC - Grupo de Investigación en Ingeniería del Conocimiento
- GRINS - Robótica Inteligente y Sistemas
- KEMLG - Grup d´Enginyeria del Coneixement i Aprenentatge Automàtic
- LARCA -Laboratorio Algoritmica Relacional, Complejidad y Aprendizaje
- LOGPROG - Lógica y Programación
- MD - Matemática Discreta
- MPI - Modelización y Procesamiento de la Información
- SIMCON - Grupo de Investigación de Simulación por Ordenador en Materia Condensada
- SOCO - Soft Computing
- SUSHITOS - Servicios para tecnologías de información sociales, ubicuas y humanísticas, y para el software libre
- VIS - Visión Artificial y Sistemas Inteligentes
- ViRVIG - Visualización, Realidad Virtual e Interacción Gráfica
- Proyectos
- inLab FIB
- Empresa
- La FIB
LOGPROG - Lógica y Programación
Usted está aquí
- ALBCOM - Algorismia, Bioinformática, Complejidad y Métodos Formales
- ARCO - Microarquitectura y Compiladores
- CAP - Grupo de Computación de Altas Prestaciones
- CBA - Sistemas de Comunicaciones de Banda Ancha
- CNDS - Redes de Computadores y Sistemas Distribuidos
- DAMA-UPC - Data Management Group
- DCCG - Grupo de investigación en geometría computacional, combinatoria y discreta
- DMAG - Grupo de Aplicaciones Multimedia Distribuidas
- GESSI - Grupo de Ingeniería del Software y de los Servicios
- GIE - Grupo de Informática en la Ingeniería
- GNOM - Grupo de Optimización Numérica y Modelización
- GPLN - Grupo de Procesamiento del Lenguaje Natural
- GRBIO - Grupo de Investigación en Bioestadística y Bioinformática
- GREC - Grupo de Investigación en Ingeniería del Conocimiento
- GRINS - Robótica Inteligente y Sistemas
- KEMLG - Grup d´Enginyeria del Coneixement i Aprenentatge Automàtic
- LARCA -Laboratorio Algoritmica Relacional, Complejidad y Aprendizaje
- LOGPROG - Lógica y Programación
- MD - Matemática Discreta
- MPI - Modelización y Procesamiento de la Información
- SIMCON - Grupo de Investigación de Simulación por Ordenador en Materia Condensada
- SOCO - Soft Computing
- SUSHITOS - Servicios para tecnologías de información sociales, ubicuas y humanísticas, y para el software libre
- VIS - Visión Artificial y Sistemas Inteligentes
- ViRVIG - Visualización, Realidad Virtual e Interacción Gráfica
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.eduFUTUR 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
Dónde estamos
Edificio B6 del Campus Nord
C/Jordi Girona Salgado,1-3
08034 BARCELONA España
Tel: (+34) 93 401 70 00
C/Jordi Girona Salgado,1-3
08034 BARCELONA España
Tel: (+34) 93 401 70 00
Contacta con la FIB
© Facultat d'Informàtica de Barcelona - Universitat Politècnica de Catalunya - Avíso legal sobre esta web - Configuración de privacidad