
Sobre o Projeto
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”
Acrónimo
T4CDTKC
Responsável
Américo Azevedo
Estado
Encerrado
Início
January 1, 2019
Fim
January 19, 2021
Data efetiva de fim
January 19, 2021
Orçamento Global
--
Financiamento
--
Website
--
Datasheet
--
Equipa
Líderes de Equipa
Membros da Equipa

Alípio Jorge
Coordenador de Centro

Américo Azevedo
Coordenador de TEC4

António Coelho
Responsável de Área

César Toscano
Investigador Sénior

Hélder Filipe Oliveira
Investigador Auxiliar

Hélio Mendonça
Investigador Sénior

Jaime Cardoso
Investigador Coordenador

Luís Guardão
Investigador Sénior

Rita Paula Ribeiro
Investigador Sénior

Rui Diogo Rebelo
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.




