
Sobre o Projeto
Adaptive, Intelligent and Distributed Assurance Platform
Acrónimo
AIDA
Responsável
Ricardo Pereira Vilaça
Estado
Concluído
Início
January 12, 2020
Fim
January 30, 2023
Data efetiva de fim
January 30, 2023
Orçamento Global
1 183 005,00 €
Financiamento
414 109,00 €
Website
Datasheet
Equipa
Líderes de Equipa
Membros da Equipa

Cláudia Vanessa Brito
Investigador Auxiliar

Fábio André Coelho
Investigador Sénior

João Gama
Investigador Coordenador

João Vinagre
Investigador Colab Externo

Luís Manuel Ferreira
Bolseiro Investigação

Nuno Filipe Faria
Investigador

Paula Cristina Rodrigues
Técnico Especialista I

Paula Raissa Silva
Bolseiro Investigação

Ricardo Pereira Vilaça
Investigador Colab Externo

Rita Moutinho
Técnico Especialista I
Centros Associados
Laboratório de Inteligência Artificial e Apoio à Decisão
O nosso Laboratório de Inteligência Artificial e Apoio à Decisão LIAAD investiga nas áreas de Inteligência Artificial, Aprendizagem Computacional (Machine Learning), Ciência e Dados e Modelação. Estas áreas são transversais para todos os setores da sociedade e da economia. As enormes quantidades de dados recolhidos e a ubiquidade da digitalização e da sensorização oferecem cada vez mais oportunidades e desafios à automação do apoio à decisão. A combinação de Machine Learning e de modelos complexos está a revolucionar economia, saúde, justiça, indústria, ciência, administração pública e educação, o que nos encoraja a investir em diferentes abordagens e perspetivas tecnológicas e científicas. A nossa estratégia geral é explorar o fluxo e a diversificação de dados e investir em linhas de investigação que levarão ao desenvolvimento de fundamentos e de modelos de Inteligência Artificial aplicada com responsabilidade e centrada no Humano.

Laboratório de Software Confiável
No Laboratório de Software Confiável (HASLab), melhorando a prática através da teoria, criamos e implementamos software que vai além da funcionalidade: garantimos que é correto, resiliente e seguro contra falhas e ataques. A nossa equipa de investigadores, cientistas e engenheiros tem competências em engenharia de software, onde desenvolvemos métodos e ferramentas para conceber e integrar software robusto; sistemas distribuídos, onde exploramos a distribuição e replicação para garantir escalabilidade e confiabilidade; e segurança da informação, onde considerando também os desafios da cibersegurança, fortalecemos os sistemas com protocolos criptográficos avançados e seguros, minimizando vulnerabilidades. Com uma abordagem multidisciplinar e sustentada por princípios teóricos sólidos, criamos soluções inovadoras para software crítico, infraestruturas cloud seguras e gestão de big data com privacidade, impulsionando avanços científicos, inovação e consultoria de excelência. Além disso, complementamos a nossa expertise em áreas como interação humano-computador, linguagens de programação, matemática de computação e computação quântica - porque acreditamos que o futuro do software confiável se constrói com conhecimento e inovação.
