Cookies Policy
We use cookies to improve our site and your experience. By continuing to browse our site you accept our cookie policy. Find out More
Close
  • Menu
Facts & Numbers
000
About

About Computer Science Cluster

INESC TEC aims at excelling in the control of the data>information>knowledge chain for pervasive and massive data repositories and data flows. This includes the components of new high-level languages, distributed computing, critical software, privacy protection, pervasive cyber security and generalised knowledge extraction, namely from massive spatio-temporal distributed and geo-referenced databases, possibly lodged in moving media.

The mission of the Computer Science Cluster is to achieve excellence in both fundamental and applied research, with international impact, and with a strong emphasis on technology innovation and transfer that benefits society at large.

Main research areas

  • Accessibility and Assistive Technologies
  • Big Data Applications
  • Computer Graphics and Virtual Environments
  • Cryptography, Information Security and Privacy
  • Distributed Systems
  • Information Management and Information Systems
  • Intelligent and Adaptive Systems
  • Languages and Distributed Computing
  • Machine Learning and Data Mining
  • Mathematical Modelling in Decision Support
  • Software Engineering
  • Special Purpose Computing Systems
004

Centres

CRACS

Centre

Advanced Computing Systems

CSIG

Centre

Information Systems and Computer Graphics

HASLAB

Centre

High-Assurance Software

LIAAD

Centre

Artificial Intelligence and Decision Support

Latest News
Computer Science

SafeCloud promotes the privacy and integrity of cloud utilization

On 27 September, took place the third and final assessment by the European Commission of the SafeCloud project. The project was led by INESC TEC's High-Assurance Software Laboratory (HASLab). With an investment of over three million euros, the project focused on the area of  cloud infrastructures that, despite their many advantages, still present several challenges of privacy and integrity to data storage and processing.

04th October 2018

Computer Science

INESC TEC and FEUP organise international conference on Digital Libraries

On 10 and 13 September, INESC TEC and the Faculty of Engineering of the University of Porto organised the 22nd edition of the International Conference on Theory and Practice of Digital Libraries – TPDL 2018, which had around 200 participants.

03rd October 2018

Computer Science

HASLab participates in the Summer on the Campus 2018

Integrated in the 10th Summer in the Campus Programme of the University of Minho, the activity  Computing Without Borders was organized by the Informatics Department in collaboration with HASLab.

17th September 2018

Computer Science

Researcher from HASLab concludes habilitation exams

Carlos Baquero, researcher of the High-Assurance Software Laboratory (HASLab) and Professor at the School of Engineering of the University of Minho completed the habilitation exams on 26 and 27 July at the University of Minho, being unanimously approved by the members of the jury.

07th September 2018

Computer Science

European project CloudDBAppliance receives a positive assessment in the first 18 months of activity

The European project CloudDBAppliance achieved a positive assessment in the first 18 months of activity under the European Commission’s assessment that took place on 6 July in Brussels.

07th September 2018

177

Featured Projects

PromoTourVR

Promoting tourism destinations with multisensory immersive media

2018-2021

DaVinci

Distributed architectures: variability and interaction for cyber-physical systems

2018-2021

PERFECT

Perceptual equivalence in virtual reality for authentic training

2018-2020

SAFER

Safery verification for robotic software

2018-2021

M2S

Mindfulness to students' sucess:relating executive functions and writing through a mindfulness app to promote children's cognitive, social, and health-related outcomes

2018-2021

PAINTER

Procedurally assisted INTErchangeable reality

2018-2021

FAST-manufacturing

Flexible And sustainable manufacturing

2018-2021

CRADLE

Deep learning in cancer drug discovery: a pipeline for the generation of new therapies

2018-2021

PalacioDaAgua

Consultoria para instalação do Palácio da Água no Centro Multiusos de Chaves

2018-2020

KLEE

Coalgebraic modeling and analysis for computational synthetic biology

2018-2021

MoST

Modeling, querying and interactive visualization of spatiotemporal data

2018-2020

KMSEC

Machine-checked proofs of AWS Key Management Service

2018-2018

StopPropagHate

Automatic hate speech detection in online news media

2018-2019

eCSAAP

Expert Crowdsourcing for Semantic Annotation of Atmospheric Phenomena

2018-2019

Angerona

Privacy preserving IOT middleware

2018-2019

EAIA2018

11th Advanced School on Data Science for Big Data

2018-2018

CRDB

Consulting on CRDTs for Redis Lab

2018-2020

Coop_India

Técnicas de análise de redes sociais para planeamento urbano

2018-2019

FLOWTEE

Desenvolvimento de um programa que monitorize automaticamente os níveis de bem-estar (ou felicidade) dos funcionários, a partir de dados disponíveis online

2018-2019

GEOCONSULT

Consultoria técnica especializada em IDE

2017-2018

PERS_TOMI

Prestação de Serviços para desenvolvimento de um algoritmo de recomendação PERS como serviço PERSaaS , PERSoff, PERStune e PERSboard

2017-2019

Meloa

Multi-purpose/Multi-sensor Extra Light Oceanography Apparatus

2017-2021

WindScanner

WindScanner national infrastructure

2017-2020

NIE

Interfaces naturais com idosos

2017-2019

MarRisk

Costal adaptation to climate change: knowing the risks and increasing resilience.

2017-2020

AUTOTESTSW

Estudo e elaboração de recomendações para a automatização de testes de software

2017-2018

SIGPPC

Análise de Desempenho e Revisão de Algoritmos do Expert System para Classificação Automática e Retrieval de Histórico do Provedor do Cliente da EDP

2017-2017

SIGMAIA

Serviços de Consultadoria no Projeto SIG Intermunicipal Maia - Reforço da Colaboração e Integração do Sistema de Informação Intra e Inter organizacinal, e capacitação institucional, no dominio do reforço da organização e aprendizagem por via do trabalho em rede.

2017-2018

PilotoEUDAT

TAIL Data Pilot in EUDAT

2017-2018

C4G

Colaboratório para as Geociências

2017-2020

RCD

Repositório Clínico Digital

2017-2018

RELECT

Radioactivity and ELECTtric Field monitoring campaign at Hyytiälä (ENVRIplus TNA)

2017-2017

Simprove

The Biomedical Simulation Centre of the Future

2017-2019

AV360-DNI

AV360 - Augmented Video 360

2017-2018

PERSONA

PERSONALIZAÇÃO E GESTÃO DE INFORMAÇÃO BASEADA EM DADOS CLIENTE

2017-2019

RECAP

Research on European Children and Adults born Preterm

2017-2021

Lightkone

Lightweight Computation for Networks at the Edge

2017-2019

InteGrid

Demonstration of INTElligent grid technologies for renewables INTEgration and INTEractive consumer participation enabling INTEroperable market solutions and INTErconnected stakeholders

2017-2020

CloudDBAppliance

European Cloud In-Memory Database Appliance with Predictable Performance for Critical Applications

2016-2019

ARQNET

Conceção, arquitetura e validação de uma solução tecnologicamente inovadora no que diz respeito à utilização de mecanismos de autenticação e assinatura de documentos com recurso a meios eletrónicos, ao fornecimento de atributos e mecanismos de votação por via eletrónica, através do Cartão de Cidadão e Chave Móvel Digital

2016-2019

Atena

Saber para intervir: observatório para a educação

2016-2019

Tele-Media-Arte

Multimodal Telepresence in Support of Online Inclusive Distance Arts Education and Training

2016-2017

ISEABlind

Integrated System for Enhancing the Autonomy of the Blind

2016-2017

SmartFarming-1

Ferramenta avançada para operacionalização da agricultura de precisão

2016-2018

HDR4RTT

Real time Tracking and display of multiple objects in extreme lighting conditions

2016-2018

PANACea

Perfis para Anomalias Consumo

2016-2018

BI4UP2

Business Intelligence (BI) Tool

2016-2017

IMOPORTAL

Portal Web de Armazéns

2016-2018

ELVEN

Elven - Expressive Logics for VErifying the Net

2016-2019

GSL

GreenSoftwareLab: Towards an Engineering Discipline for Green Software

2016-2019

Cloud-Setup-1

PLATAFORMA DE PREPARAÇÃO DE CONTEÚDOS AUDIOVISUAIS PARA INGEST NA CLOUD

2016-2018

Dynamics2

Dynamics, optimization and modelling

2016-2019

CONTEXTWA

Middleware and Context Inference Techniques from DataStreams for the Development of ContextAware Services using Mobile Devices

2016-2019

Icarefordepression

i-Care for Depression: Blending face-to-face psychotherapy with internet and mobile digital solutions

2016-2019

TAIL

TAIL - Research data management from creation to deposit and sharing

2016-2019

Digi-NewB

Non-invasive monitoring of perinatal health through multiparametric digital representation of clinically relevant functions for improving clinical intervention in neonatal units (Digi-NewB)

2016-2020

SIGAMP

SIF Intermunicipal da AMP

2016-2017

BEACONING

Breaking Educational Barriers with Contextualised, Pervasive and Gameful Learning (BEACONING)

2016-2018

CORAL-TOOLS-1

CORAL – Sustainable Ocean Exploitation: Tools and Sensors

2016-2018

CORAL-SENSORS

CORAL – Sustainable Ocean Exploitation: Tools and Sensors

2016-2018

SafeCloud

Secure and Resilient Cloud Architecture

2015-2018

DRIW2020

DRIW2020 - Estudos e projetos RIS da Atividade 2 - Sistemas e processos ICT do "Projeto Douro's Inland WaterWay 2020"

2015-2016

MarineEye

MarinEye - A prototype for multitrophic oceanic monitoring

2015-2017

NanoStima-RL1

NanoSTIMA - Macro-to-Nano Human Sensing Technologies

2015-2018

NanoStima-RL3

NanoSTIMA - Health data infrastructure

2015-2018

NanoStima-RL4

NanoSTIMA - Health Data Analysis & Decision

2015-2018

iMAN

iMAN - Intelligence for advanced Manufacturing systems

2015-2018

SeaBioData

Portuguese Seamounts Biodiversity Data Management

2015-2017

NanoStima-RL2

NanoSTIMA - Health data collection and visualization

2015-2018

SMILES

SMILES - Smart, Mobile, Intelligent and Large scale Sensing and analytics

2015-2018

FOUREYES

TEC4Growth - RL FourEyes - Intelligence, Interaction, Immersion and Innovation for media industries

2015-2018

NanoStima-RL5

NanoSTIMA - Advanced Methodologies for Computer-Aided Detection and Diagnosis

2015-2018

FOTOCATGRAF

Graphene-based semiconductor photocatalysis for a safe and sustainable water supply: an advanced technology for emerging pollutants removal

2015-2018

CE4Blind

Context extraction for blind using computer vision

2015-2016

REMINDS

Relevance Mining and Detection System (REMINDS)

2015-2017

PANF

Methods to retrieve and communicate data from Sifarma

2015-2016

StopDepression

Stepped care treatments and digital solutions for depression and suicide prevention in primary care.

2015-2016

DIGITAVE

Concepção, desenvolvimento e implmentação de um sistema de gestão federada de identidades digitais

2015-2015

UPGRID

Real proven solutions to enable active demand and distributed generation flexible integration, through a fully controllable LOW Voltage and medium voltage distribution grid

2015-2018

ACESSWEB

Web Accessibility Barometer in Portugal

2015-2017

SEA

SEA-Sistema de ensino autoadaptativo

2015-2015

MGI

Contrato de Aquisição de serviços de produção e desenvolvimento de módulo para gestão de iterações para integrar no sistema de informação da UP (SIGARRA)

2015-2015

PaaS2

Integrated Management of PaaS services

2014-2015

WiderMOS

Wide Interoperability and new governance moDels for freight Exchange linking Regions through Multimodal maritime based cOrridorS

2014-2016

Cap@CIDADE

Survey and mapping of activities and informational objects and process modelling

2014-2016

InMERSE

Expanded Multimodal Interaction in Entertainment Service Network

2014-2015

Hyrax

Crowd-Sourcing Mobile Devices to Develop Edge Clouds

2014-2018

MAESTRA

Learning from Massive, Incompletely annotated, and Structured Data

2014-2017

LeanBigData

Ultra-Scalable and Ultra-Efficient Integrated and Visual Big Data Analytics

2014-2017

DAT

Curation and intelligent data analysis

2014-2015

E-Compared

European Comparative Effectiveness Research on Internet-based Depression Treatment

2014-2017

PGLobal

Desenvolvimento de software para ser integrado numa plataforma de recolha automática e selecção de conteúdos de jornais participantes de vários países

2014-2015

RAIA.TEC

Complementary technologies for the Ocean Observatory of the Iberian Coast

2014-2015

EYEFRY

Cooking oils degradation assessment system

2014-2015

BI4UP

Business Intelligence (BI) Tool

2014-2014

Practice

Privacy-Preserving Computation in the Cloud

2013-2016

SMICE

Online platform for energy behaviour monitoring system

2013-2014

CoherentPaaS

A Coherent and Rich PaaS with a Common Programming Model

2013-2016

PaaS

Integrated Management of PaaS services

2013-2015

3Port

Ports and Environmental Management Information System

2013-2015

PWA

Web Portal for Warehouses

2013-2017

ABLe

Advice-Based Learning for Health Care

2013-2015

IPMAPS

Software framework to create geographic information systems

2013-2015

Authenticus

Authenticus - System to Identify and Validate Portuguese Scientific Publications

2013-2016

Online_Gym

Online Gym based on collaborative networked virtual reality

2013-2014

SIOCER

Auditing in information systems

2013-2013

WireMarketPlatform

Online platform to promote contents

2013-2013

SmartManufacturing

Smart Manufacturing and Logistics

2013-2015

SIBILA

Towards Smart Interacting Blocks that Improve Learned Advice

2013-2015

MASSIVE

Multimodal Acknowledgeable multiSenSorial Immersive Virtual Enviroments

2013-2015

SmartGrids

Smart Grids

2013-2015

OASRN

Consulting in information technologies

2013-2016

APDIC

Archiving and Digital Preservation of Clinical Information

2013-2015

CorredorAzul

Study to attract residents to the Urban Network for Competitiveness and Innovation "Corredor Azul"

2012-2013

SARA

Asset Management System for Road Networks

2012-2015

MedicalSoft

Medical Imaging Applications in Windows, MAC OS X and IOS environments

2012-2013

Cloud

Integrated Management of Cloud Services with Operations Support Systems

2012-2013

Dynamics

Dynamics and Applications

2012-2015

ADE

Adverse Drug Effects Detection

2012-2015

GIE-GNP

Cross-border collaboration platform

2012-2014

ICARUS

Integrated Components for Assisted Rescue and Unmanned Search operations

2012-2016

KNIT

Technological Innovation Centre

2012-2012

Pweb

Consulting in Web portals

2012-2012

MIELE

Characterising, Managing and Modelling the Requirements of project MIELE

2011-2014

e-Policy

Engineering for the Policy-making Life Cycle (ePolicy)

2011-2014

AdChrono

Automatic optimisation of online advertising

2011-2013

WEB2Economy

Web 2.0 Platform - WEB2Economy

2011-2012

AVESAT

Services on satellite technology applied to municipal transport circuit management and optimisation

2011-2013

CAALYX-MV

Complete Ambient Assisted Living Experiment - Market Validation

2011-2012

Leap

Logic environments with Advanced Paralelism

2011-2014

ERAS

Expedite Virtual Reconstruction of Cultural Heritage Sites

2011-2013

MACAW

Macroprogramming for Wireless Sensor Networks

2011-2014

GIS2R

Creation and Exploration of 3D Real Urban Environments

2011-2012

ECOPLANNER

Eco-efficient management platform

2011-2013

CNG

New Generation Contents for Education and Vocational Training

2011-2014

TICE.Mobilidade

User-centric mobility systems

2011-2014

AAL4ALL

Ambient Assisted Living for All

2011-2015

SI.VIDA 3

SI.VIDA Information System - Stage 3 - Dissemination in hospitals

2011-2012

RAIA.co

Web services aimed at extending of the RAIA Observatory interoperability platform

2011-2013

SIMULESP

Expert system to support network operator on real time decision

2011-2015

SIGAP

Business Process Characterization

2010-2011

Breadcrumbs

Social network based on personal libraries of news fragments

2010-2012

PINC

Pole of Creative Industries of University of Porto's Science and Technology Park

2010-2013

Desktop4IPbrick

Multiplatform desktop environment for free software applications

2010-2012

e-milia

Collaborative platform to increase and improve access to ICT by the senior citizens of the Municipality of Santa Maria da Feira

2010-2012

WebReports

Generation of reports in Web environment

2010-2011

CEMSDI

Civil-servants Empowerment for Multi-media Service Delivery ICT-enabled

2010-2012

CRN

Trust-aware Automatic E-Contract Negotiation in Agent-based Adaptive Normative Environments

2010-2013

Ofelia

Open Federated Environments Leveraging Identity and Authorization

2010-2013

KDUS

Knowledge Discovery from Ubiquitous Data Streams

2010-2013

3DWikiU

Collaborative Virtual Reality system for urban environments

2010-2012

Horus

Horn Representations of Uncertain Systems

2010-2013

DIGISCOPE

DIGItally enhanced stethosCOPE for clinical usage

2010-2013

ICT4Depression

User-friendly ICT Tools to Enhance Self-Management and Effective Treatment of Depression in the EU

2010-2013

RobVigil

Collaborative and intelligent surveillance robot for the security area

2010-2012

Escolinhas

"Escolinhas" educational platform

2009-2011

ADD-ME

Activating Drivers for Digital eMpowerment in Europe

2009-2011

SIGAve

Regional geographical information system

2009-2010

SAMA2007

Advisory to the Managing Body of the SAMA - ON.2 Programme

2009-2010

Mobiles

Sustainable electric mobility - Solutions for the logistics associated with electric vehicle battery charging

2009-2012

eCAALYX

Enhanced Complete Ambient Assisted Living Experience

2009-2012

PortalDouro

Tourism portal for the Douro region

2009-2011

Generg

Specialized Consulting on Information Systems

2009-2012

RAIA

Ocean Observatory for the Iberian Coast

2009-2012

WikiWipro

Wiki knowledge base to support the ellaboration of project presentations

2008-2009

Palco3.0

Intelligent Web system to support the management of a social network on music

2008-2011

Argos-1

Wind power forecasting system

2008-2012

EINautilus

Classroom Management Software

2008-2011

CCDRN-RJUE

Regional interoperability platform between municipalities and central administration, in the area of urbanization and building construction licensing

2008-2011

MOREWAQ

Monitoring and Forecasting of Water Quality Parameters

2008-2011

Urbis

Efficient management and visualization of spatiotemporal urban data

2008-2010

ORANKI

Resource-bounded outlier detection

2008-2011

SI.VIDA

Information System to collect and process data on AIDS for the High Commissioner for Healthcare

2007-2012

DBPreserve

Data Warehouses for the Long-term Preservation of Institutional Electronic Records and Databases

2007-2010

Eolos

Impact of Wind Farms on radiocommunication services

2007-2010

WineSlot

Prototype to Manage the Classification of agricultural lots

2007-2010

CCDRN-TIC

Collaborative platforms for PROT N, Norte em Rede and Atlantic Area INTERREG Programme

2006-2011

004

Laboratories

Information Systems Laboratory

CLOUDinha Laboratory

Laboratory of Software Engineering

Laboratory of Computer Graphics and Virtual Environments

Facts & Figures

15Book Chapters

2016

2663Turnover (k€)

2016

219Proceedings in indexed conferences

2016

Contacts