- Menu
- Passa a palavra.
Partilha esta página. - Linked in
- Copiar Url
-
O projeto Sustainable HPC, resultado de uma candidatura (aprovada) ao Fundo de Apoio à Inovação e ao Fundo de Eficiência Energética, envolvendo o INESC TEC e o INEGI, já arrancou.
25 novembro 2021
O investigador do INESC TEC Gilberto Cunha foi distinguido com uma bolsa do programa Novos Talentos em Tecnologias Quânticas, uma iniciativa promovida pela Fundação Calouste Gulbenkian.
22 novembro 2021
A investigação desenvolvida por uma equipa de investigadores do Laboratório de Software Confiável (HASLab) do INESC TEC na área da segurança informática tornou possível a apresentação de três artigos científicos na edição da ACM Conference on Computer and Communications Security (CCS), uma das conferências mais importantes nesta área a nível mundial, que decorreu em modo online de 15 a 18 de novembro.
19 novembro 2021
A computação de elevado desempenho (High Performance Computing – HPC, em inglês) é a base para avanços científicos, industriais e sociais que melhoram a qualidade de vida das pessoas em todo o mundo. O principal objetivo do projeto RISC2 – A network for supporting the coordination of Computing research between Europe and Latin America – passa por promover e melhorar a relação entre as comunidades de investigação e industriais da Europa e da América Latina, com foco nas aplicações HPC e implementação de infraestruturas.
14 novembro 2021
O Laboratório de Software Confiável (HASLab) do INESC TEC coordena o projeto “Quantitative methods for cyber-physical programming: reasoning precisely about imprecisions in cyber-physical behavior”, cujo objetivo é desenvolver métodos matemáticos para modelar e analisar imprecisões no software ciber-físico.
08 setembro 2021
O Laboratório de Software Confiável (HASLab) do INESC TEC vai desenvolver soluções que permitirão que as redes de comunicações WAN (Wide Area Networks) se adaptem, em tempo real, à disponibilidade e fonte de energia elétrica, dando prioridade às fontes renováveis.
06 setembro 2021
O artigo “ASPAS: As Secure as Possible Available Systems”, escrito em coautoria por Houssam Yactine, Ali Shoker, e George Younes, investigadores do Laboratório de Software Confiável (HASLab) do INESC TEC, recebeu o prémio Best Paper Award na 16ª edição da International Federated Conference on Distributed Computing Techniques (DisCoTec2021).
15 julho 2021
O projeto PassCert, Investigação do Impacto de Verificação Formal na Adoção de Software para Segurança de Passwords, arrancou em fevereiro e vai permitir criar um gestor de passwords que, através do uso de verificação formal, garante propriedades de segurança sobre o armazenamento de dados e geração de passwords.
31 maio 2021
Medir, monitorizar e melhorar a presença, posição social e influência de empresas e indivíduos nas redes sociais.
26 maio 2021
O INESC TEC coorganizou o workshop AIST 2021 – International Workshop on Artificial Intelligence in Software Testing, no âmbito da IEEE International Conference on Software Testing (ICST 2021), e dedicado à Inteligência Artificial para testes de software. O evento decorreu online, no dia 12 de abril, e contou com mais de 20 participantes.
07 maio 2021
O projeto IDINA – Identidade Digital Inclusiva Não Autoritativa, liderado pelo Laboratório de Software Confiável (HASLAb) do INESC TEC, é o vencedor do Prémio IN3+, promovido pela Imprensa Nacional – Casa da Moeda S.A. (INCM), no valor de 600 mil euros. O IDINA pretende criar uma plataforma de identificação do cidadão eficaz e inclusiva, em países que não possuem sistemas centrais de identificação (infraestruturas de registo civil), para todos os cidadãos.
30 março 2021
O projeto CoronaSurveys, que pretende determinar a incidência da pandemia em vários países, foi distinguido no “XPRIZE Pandemic Response Challenge” com uma menção honrosa e um prémio no valor de 3 mil euros em crédito AWS (Amazon Web Services).
24 março 2021