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

INESC TEC team wins another Best Paper Award

The paper entitled “A Text Feature Based Automatic Keyword Extraction Method for Single Documents” by Ricardo Campos, Vitor Mangaravite, Arian Pasquali and Alípio M. Jorge, researchers from INESC TEC’s Artificial Intelligence and Decision Support Laboratory (LIAAD) and by Célia Nunes from the University of Beira Interior (UBI), and by Adam Jatowt from Kyoto University, won the ECIR 2018 Best Short Paper Award, promoted by the 40th European Conference on Information Retrieval.

12th April 2018

Computer Science

Electrical discharges sensor set up in INESC TEC

An electrical discharges sensor of ENTLN (Earth Networks Total Lightning Network) network was set up during February at INESC TEC building, under a collaboration protocol between INESC TEC and US company Earth Networks, Inc.

03rd April 2018

Computer Science

Two INESC TEC’s researchers were nominated for the Cor Baayen Young Researcher Award of the ERCIM

João Tiago Paulo and Hadi Tork, INESC TEC’s collaborators of the High Assurance Software Laboratory (HASLab) and Artificial Intelligence and Decision Support Laboratory (LIAAD), respectively, were two of the fifteen finalists present at the ERCIM 2017 Cor Baayen Young Researcher Award.

29th March 2018

Computer Science

INESC TEC organises a workshop in Japan

Ricardo Campos, researcher at INESC TEC’s Artificial Intelligence and Decision Support Laboratory (LIAAD) was one of the promoters of the first workshop entitled «User Interfaces for Spatial and Temporal Data Analysis - UISTDA2018» that took place in Japan on 11 march.

26th March 2018

Computer Science

KLEE ins the new INESC TEC research project

The Foundation for Science and Technology (FCT) competition accepted KLEE, Coalgebraic Modelling and Analysis for Computational Synthetic Biology as the new research project of the High-Assurance Software Laboratory (HASLab) of INESC TEC, which aims the development of coalgebraic models for synthetic biology.

14th March 2018

154

Featured Projects

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

C4G

Colaboratório para as Geociências

2017-2020

RCD

Repositório Clínico Digital

2017-2018

Simprove

The Biomedical Simulation Centre of the Future

2017-2019

PERSONA

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

2017-2019

AV360-DNI

AV360 - Augmented Video 360

2017-2018

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

SmartFarming-1

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

2016-2018

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

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

ELVEN

Elven - Expressive Logics for VErifying the Net

2016-2019

IMOPORTAL

Portal Web de Armazéns

2016-2018

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

DRIW2020

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

2015-2016

SafeCloud

Secure and Resilient Cloud Architecture

2015-2018

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

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

ACESSWEB

Web Accessibility Barometer in Portugal

2015-2017

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

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

BI4UP

Business Intelligence (BI) Tool

2014-2014

DAT

Curation and intelligent data analysis

2014-2015

RAIA.TEC

Complementary technologies for the Ocean Observatory of the Iberian Coast

2014-2015

E-Compared

European Comparative Effectiveness Research on Internet-based Depression Treatment

2014-2017

EYEFRY

Cooking oils degradation assessment system

2014-2015

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

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

OASRN

Consulting in information technologies

2013-2016

APDIC

Archiving and Digital Preservation of Clinical Information

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

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

RAIA.co

Web services aimed at extending of the RAIA Observatory interoperability platform

2011-2013

SI.VIDA 3

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

2011-2012

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

121Papers in indexed journals

2016

832National R&D Programmes (k€)

2016

774R&D Services and Consulting (k€)

2016

Contacts