
Sobre o Projeto
Aliança para a Transição Energética
Acrónimo
ATE
Responsável
Ricardo Jorge Bessa
Estado
Ativo
Início
January 1, 2023
Fim
January 30, 2026
Data efetiva de fim
--
Orçamento Global
274 195 106,32 €
Financiamento
11 984 698,37 €
Website
--
Datasheet
--
Equipa
Líderes de Equipa
Membros da Equipa

Alexandra Xavier
Coordenador de Centro

Carlos Gaspar Pacheco
Técnico de Desenvolvimento II

Carlos Pinho

Diana Viegas
Investigador Sénior

Ireneu Dias
Coordenador de Centro

Jorge Correia Pereira
Investigador Sénior

Luísa Mendonça
Assistente Administrativo

Paulo Monteiro
Investigador Auxiliar

Pedro Jorge
Responsável de Área

Ricardo Jorge Bessa
Coordenador de Centro
Centros Associados
Sistemas de Computação Avançada
O Centro de Sistemas de Computação Avançada (CRACS) procura a excelência científica nas áreas de linguagens de programação, computação paralela e distribuída, mineração de informação, segurança e privacidade, com foco no desenvolvimento de sistemas de software escaláveis para aplicações multidisciplinares nas áreas da Engenharia, Ciências da Vida, Redes Sociais e Internet das Coisas, entre outras. Particular ênfase no conhecimento dos conceitos teóricos e práticos subjacentes ao desenho e desenvolvimento de linguagens de programação e camadas intermédias de software para sistemas avançados de computação (sistemas de computação paralela, distribuída, de alto-desempenho, na nuvem, dispositivos wireless e IoT) e no conhecimento dos conceitos teóricos e práticos dos principais algoritmos e metodologias utilizadas para promover a confiança, privacidade e segurança em sistemas computacionais. O ambiente de investigação é formado por talentosos investigadores juniores que, em conjunto, com os investigadores seniores, maioritariamente docentes universitários, constituem a massa crítica e as competências científicas necessárias para cumprir a nossa missão.

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.



