Cookies
Usamos cookies para melhorar nosso site e a sua experiência. Ao continuar a navegar no site, você aceita a nossa política de cookies. Ver mais
Aceitar Rejeitar
  • Menu
Factos & Números
000
Apresentação

Laboratório de Software Confiável

No HASLab, a nossa investigação tem por base uma abordagem rigorosa a três áreas da Informática: Engenharia de Software, Sistemas Distribuídos, e Criptografia e Segurança da Informação.

As contribuições do HASLab para estas áreas vão desde a investigação fundamental em métodos e algoritmos formais, até à investigação aplicada no desenvolvimento de ferramentas e middleware que respondam às necessidades reais verificadas no decorrer de colaborações de longo prazo com a indústria.

Últimas Notícias

Aplicações móveis desenvolvidas no INESC TEC distinguidas pela Exame Informática

As aplicações STAYAWAY COVID e Psicovida, ambas desenvolvidas por investigadores do INESC TEC, receberam uma menção honrosa na categoria Aplicação do ano, dos prémios “Os Melhores do Portugal Tecnológico”, atribuídos pela revista Exame Informática.

19 novembro 2020

Informática

Investigador do INESC TEC distinguido com bolsa de mérito

Ricardo Macedo, investigador do Laboratório de Software Confiável (HASLab) do INESC TEC, foi distinguido com uma bolsa de mérito atribuída pela Universidade do Minho e suportada integralmente pelo orçamento do Ministério da Ciência, Tecnologia e Ensino Superior, através da Direção-Geral do Ensino Superior (DGES).  A cerimónia decorreu no dia 26 de outubro, no Salão Medieval da Reitoria da UMinho.

11 novembro 2020

Equipa INESC TEC colabora com iniciativa ENSICO

Investigadores do INESC TEC participam na iniciativa ENSICO, Associação para o Ensino da Computação, que pretende apostar no ensino das Ciências da Computação nas escolas portuguesas, apoiando a criação de práticas inovadoras na era digital, através de novas ferramentas de ensino, de materiais e de software de aprendizagem.

29 outubro 2020

Informática

INESC TEC contribui para criação de app que fornece apoio psicológico gratuito durante a pandemia

A Psicovida tem como missão apoiar a comunidade nacional, ao assegurar o acesso equitativo e gratuito de intervenção psicológica no atual cenário da pandemia. Trata-se de uma aplicação móvel que coloca utentes a falar diretamente com psicólogos credenciados, através de videochamada, e que disponibiliza também diversas estratégias de autoajuda.

06 outubro 2020

Informática

INESC TEC apoia desenvolvimento de nova versão de plataforma de gestão de risco

Melhorar a plataforma RAID, sistema comercializado pela analista de telecomunicações Mobileum para a gestão integral de risco em empresas, tornando-a compatível com a rede 5G e com computação periférica. É este o objetivo do projeto AIDA.

18 setembro 2020

Tópicos de Interesse
045

Projetos Selecionados

ConsultSoft

Consultoria de sistemas e bases de dados

2020-2021

PAStor

Programmable and Adaptable Storage for AI-oriented HPC Ecosystems

2020-2021

IoT4Distribuicao

Análise de Requisitos e Especificação Funcional de uma Arquitetura Distribuída baseada em soluções IoT para a Gestão e Controlo da Rede de Distribuição

2020-2021

ENSCOMP

Ensino de Ciência da Computação nas Escolas

2020-2021

ECZK

Zero Knowledge Proofs in EasyCrypt

2020-2021

Collaboration

Collaborative Visual Development

2020-2020

AIDA

Adaptive, Intelligent and Distributed Assurance Platform

2020-2022

BigHPC

BigHPC - A Management Framework for Consolidated Big Data and HPC

2020-2023

SLSNA

Prestação de Serviços no ambito do projeto SKORR

2020-2021

AppOwl

Deteção de Mutações Maliciosas no Browser

2020-2021

InterConnect

Interoperable Solutions Connecting Smart Homes, Buildings and Grids

2019-2023

MobileID

Desenvolvimento de soluções de identidade móvel

2019-2021

T4CDTKC

Training 4 Cotec, Digital Transformation Knowledge Challenge - Elaboração de Programa de Formação “CONHECER E COMPREENDER O DESAFIO DAS TECNOLOGIAS DE TRANSFORMAÇÃO DIGITAL”

2019-2020

OLM2

OutSystems Learnability Model - 2nd phase

2019-2020

CLOUD4CANDY

Cloud for CANDY

2019-2019

HADES

Sistemas descentralizados confiáveis e escaláveis suportados por hardware

2018-2021

MaLPIS

Aprendizagem Automática para Deteção de Ataques e Identificação de Perfis Segurança na Internet

2018-2021

SKORR

Advancing the Frontier of Social Media Management Tools

2018-2021

OLM

OutSystems Learnability Model

2018-2019

DaVinci

Architecturas distribuídas: variabilidade e interação de sistemas ciber-físicos

2018-2021

SAFER

Verificação de segurança para software robótico

2018-2021

KLEE

Modelação coalgébrica e análise para biologia sintética computacional

2018-2021

KMSEC

Verificação formal de protocolo criptográfico comercial em colaboração com IMDEA

2018-2019

RCS

Reinsurance collaborate system

2018-2020

CRDB

Consulting on CRDTs for Redis Lab

2018-2020

EMRPrototype

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

2018-2019

InteGrid

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

2017-2020

Lightkone

Lightweight Computation for Networks at the Edge

2017-2019

CloudDBAppliance

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

2016-2019

GSL

GreenSoftwareLab: Computação Verde como uma Disciplina de Engenharia

2016-2019

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

CORAL-TOOLS

CORAL - Sustainable Ocean Exploitation: Tools and Sensors

2016-2018

SafeCloud

Secure and Resilient Cloud Architecture

2015-2018

NanoStima-RL1

NanoSTIMA - Macro-to-Nano Human Sensing Technologies

2015-2019

NanoStima-RL3

NanoSTIMA - Health data infrastructure

2015-2019

SMILES

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

2015-2019

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-2017

PaaS2

Gestão integrada de serviços PaaS-Gpaas-II

2014-2015

LeanBigData

Análise Integrada e Visual de Big Data Ultra-escalável e Ultra-eficiente

2014-2017

Practice

Ferramentas de Preservação de Privacidade na Cloud

2013-2016

CoherentPaaS

PaaS Rica e Coerente com um Modelo de Programação Comum

2013-2016

PaaS

Gestão integrada de serviços PaaS

2013-2015

Cloud

Gestão Integrada de Serviços Cloud com os Sistemas de Suporte às Operações

2012-2013

WEB2Economy

Plataforma Editorial Web 2.0 - WEB2Economy

2011-2012

Equipa
001

Laboratórios

Laboratório CLOUDinha

Teses Orientadas

2019

O uso de tecnologias (DLT) como ferramenta para a proteção de direitos de autor

Autor
Luís Felipe Miranda Ramos

Instituição
UM

2019

Load Balancing Framework for Security in SDN context

Autor
Bruno Machado

Instituição
UM

2019

Optimizing Operation-based Conflict-Free Replicated Data Types

Autor
Georges Younes

Instituição
UP-FCUP

2019

Integrated verification of cryptographic security proofs and implementations

Autor
Vitor Manuel Parreira Pereira

Instituição
UP-FCUP

2019

Towards a Dependable and Decentralized Software-Defined Storage Architecture

Autor
Ricardo Gonçalves Macedo

Instituição
UP-FCUP

Factos & Números

16Docentes do Ensino Superior

2020

21Investigadores Séniores

2016

1Contratados de I&D

2020