
Sobre o Projeto
Automated Perception Driving
Acrónimo
THEIA
Responsável
Luís Manuel Pessoa
Estado
Encerrado
Início
January 3, 2022
Fim
January 30, 2023
Data efetiva de fim
January 30, 2023
Orçamento Global
501 440,00 €
Financiamento
501 440,00 €
Website
--
Datasheet
--
Equipa
Líderes de Equipa
Membros da Equipa

Alípio Jorge
Coordenador de Centro

António Pinto
Investigador Sénior

Jaime Cardoso
Investigador Coordenador

João Vinagre

Luís Filipe Teixeira
Investigador Sénior

Luís Manuel Pessoa
Investigador Sénior

Manuel Eduardo Correia
Investigador Sénior

Manuel Ricardo
Coordenador de TEC4

Ricardo Rocha
Coordenador de Centro

Vítor Grade Tavares
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.

