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

Ricardo Pereira Vilaça
Investigador
Ricardo Vilaça é doutorado pelo MAP-i desde 2012. Atualmente é investigador sénior no HASLab e MACC, Universidade do Minho & INESC TEC e ex-diretor técnico de motores de consulta no LeanXcale. Os seus interesses de investigação são a gestão de dados energeticamente eficiente e escalável em sistemas paralelos e distribuídos. Atualmente, participa nos projectos de investigação EuroCC2 e SustainableHPC. Representa o MACC na rede nacional (RNCA), e no fórum de entidades de alojamento do EuroHPC. Foi coordenador no INESC TEC do projeto colaborativo de larga escala AIDA CMU e participou em mais de 15 projectos de investigação nacionais e internacionais. Foi co-orientador de 2 estudantes de doutoramento e orientou vários bolseiros de investigação e teses de mestrado. Publicou mais de 40 trabalhos de investigação ou artigos e foi revisor de várias conferências de renome.

João Vinagre
Membros da equipa

Paula Raissa Silva

Luís Manuel Ferreira

José Orlando Pereira
Investigador Coordenador

Ricardo Pereira Vilaça
Investigador

Paula Cristina Rodrigues
Técnico Especialista I

Cláudia Vanessa Brito
Investigador Auxiliar

João Tiago Paulo
Investigador Sénior

João Vinagre

Fábio André Coelho
Investigador Sénior

João Gama
Investigador Coordenador
Centros Associados
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.

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.
