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 article accepted for publication in an IEEE conference

An article entitled “Efficient Synchronization of State-based CRDTs”, authored by Vítor Enes, Paulo Sérgio Almeida and Carlos Baquero, researchers of INESC TEC’s High-Assurance Software Laboratory (HASLab), together with João Leitão, researcher at NOVA LINCS, was accepted for publication in the 35th IEEE International Conference on Data Engineering (ICDE 2019).

20th March 2019

Computer Science

World Congress on Formal Methods has a partnership with Porto Tech Hub

The 3rd World Congress on Formal Methods (FM’19), organised by INESC TEC, will take place between 7 and 11 October at the Alfândega Porto Congress Centre.

20th March 2019

Computer Science

INESC TEC researcher wins an IBM award on Quantum Computing

Miguel Ramalho, collaborator of INESC TEC’s Laboratory of Artificial Intelligence and Decision Support (LIAAD) and a student of the Integrated Master in Informatics and Computing Engineering (MIEIC) of the Faculty of Engineering of the University of Porto (FEUP), won the “IBM Q Teach Me Quantum Challenge”, thus receiving a $7,000 prize (around EUR 6,000).

21st February 2019

Computer Science

New INESC TEC publication on Supporting Tools for Development

Ricardo Queirós, collaborator of INESC TEC’s Centre for Research in Advanced Computing Systems (CRACS) published a new book entitled "Code Generation, Analysis Tools, and Testing for Quality".

18th February 2019

Computer Science

INESC TEC’s project helps the elderly to take medicines

The prototype of a robotic system that helps the elderly to take medicines was one of the results of the collaboration between INESC TEC’s Centre for Information Systems and Computer Graphics (CSIG) and the Superior School of Health of the University of Trás-os-Montes and Alto Douro (UTAD), which took place under the NIE project - Natural Interfaces for the Elderly.

14th February 2019

013

Featured Projects

EMRPrototype

Development of training videos illustrating the use of Medicaltech's SDIM system

2018-2018

EYEFRYPLUS

Prestação de serviços para o desenvolvimento da versão 2 da plataforma EYEFRY

2018-2018

FDControlo

Importância dos hospedeiros alternativos (plantas, insetos, vitis abandonada) na dispersão da doença da flavescência dourada (FD) da vinhda e das populações de scapholdeus titanus nas sub-regiões vitivinículas do Cávado e do Lima

2018-2022

TRICONSULT

Consultoria técnica na área dos Sistemas de Informação Geográfica

2017-2018

MDIGIREC

Context Recommendation in Digital Marketing

2017-2018

FEEdBACk

Fostering Energy Efficiency and BehAvioural Change through ICT

2017-2020

NEXT-NET

Next generation Technologies for networked Europe

2017-2019

InteGrid

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

2017-2020

SmartFarming

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

2016-2018

Cloud-Setup

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

2016-2019

DSGrid

Digital Systems Technology for Next Generation Grid Automation

2016-2018

GReSBAS

Grid Responsive Society Through Building Automation Systems

2016-2019

CORAL-TOOLS

CORAL – Sustainable Ocean Exploitation: Tools and Sensors

2016-2018

004

Laboratories

Information Systems Laboratory

CLOUDinha Laboratory

Laboratory of Software Engineering

Laboratory of Computer Graphics and Virtual Environments

Facts & Figures

927EU Programmes (k€)

2016

9R&D Employees

2016

282Researchers

2016

Contacts