INESC TEC
INESC TEC
INESC TEC
Resultados da pesquisa para:
Filtrar os seus resultados

0 Resultados

THEIA

INESC TEC

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

--

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.

Sistemas de Computação Avançada

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 Software Confiável