Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Notícias

Notícias por Laboratório de Software Confiável

Ciência e Engenharia dos Computadores

“Quien sabe por Algebra, sabe scientificamente” – a jubilação de José Nuno Oliveira marca uma era na informática da UMinho

Mais de quatro décadas passaram desde o primeiro dia de José Nuno Oliveira na Universidade do Minho (UMinho). No dia 14 de novembro, o Auditório A1 do Campus de Gualtar da Universidade do Minho (UMinho), em Braga, foi palco de uma despedida que mexeu com sentimentos e memórias. A comunidade da UMinho, e não só, reuniu-se para celebrar a dedicação de José Nuno Oliveira ao ensino, à investigação e à formação de gerações em Engenharia Informática. 

28 novembro 2025

Institucional

INESC TEC projeta supercomputação nacional para a linha da frente europeia

O INESC TEC voltou a marcar presença no centro das decisões europeias, desta vez, na área da supercomputação. A Vice-Presidente Executiva da Comissão Europeia, Henna Virkkunen, visitou, no dia 10 de novembro, o supercomputador Deucalion, instalado na Universidade do Minho (UMinho) em Guimarães, numa visita que destacou o contributo português para a estratégia digital e científica da União Europeia na área.   

27 novembro 2025

Ciência e Engenharia dos Computadores

INESC TEC participa em debate sobre o futuro dos centros de dados em Portugal

Que passos devem ser dados para termos, em Portugal, data centres sustentáveis e eficientes? E que papel pode ter a supercomputação neste processo? O INESC TEC marcou presença numa iniciativa da APDC – Digital Business Community, em colaboração com a VdA e a Portugal Data Centers, para discutir a instalação, a operação e o futuro destas infraestruturas no país.

26 novembro 2025

Ciência e Engenharia dos Computadores

INESC TEC reforça presença internacional com contribuições novas na área de sistemas de armazenamento e redes

O INESC TEC marcou presença em setembro em duas das conferências internacionais mais prestigiadas nas áreas de bases de dados e redes, a VLDB e a SIGCOMM. Os investigadores que participaram levaram ao debate internacional novas fronteiras em armazenamento, tolerância a faltas e sistemas operativos.   

29 outubro 2025

Ciência e Engenharia dos Computadores

Investigadores do INESC TEC desenvolvem novo algoritmo híbrido que melhora a fiabilidade da computação quântica

Investigadores do INESC TEC desenvolveram um novo algoritmo híbrido quântico-clássico que promete tornar a computação quântica mais prática e resiliente aos desafios dos dispositivos quânticos atuais. A investigação, intitulada “Bayesian Quantum Amplitude Estimation”, propõe uma abordagem inovadora para uma das tarefas fundamentais da computação quântica – o cálculo da amplitude, com aplicações em áreas como engenharia, finanças e inteligência artificial. 

29 outubro 2025

Ciência e Engenharia dos Computadores

INESC TEC acolhe reunião de grupo internacional de especialistas no estudo e desenvolvimento de linguagens algorítmicas e cálculos formais

Quase 30 especialistas de renome mundial, provenientes de vários pontos do globo, rumaram a Portugal para discutir os avanços na área da teoria da computação e das linguagens de programação. Os membros do IFIP Working Group 2.1 on Algorithmic Languages and Calculi estiveram reunidos em Viana do Castelo, numa iniciativa organizada pelo INESC TEC.  

07 outubro 2025

Institucional

Investigação INESC TEC sobre replicação de dados reforça impacto internacional em sistemas distribuídos

Investigação do INESC TEC sobre replicação de dados em bases de dados relacionais foi, recentemente, distinguida com uma menção honrosa na SIGMOD 2025, uma das principais conferências internacionais na área de gestão de dados, posicionando-se entre os quatro melhores artigos da conferência dos 250 submetidos. 

28 julho 2025

Ciência e Engenharia dos Computadores

Investigadora do INESC TEC é premiada com o Amazon Research Award

Alexandra Mendes, investigadora do INESC TEC, acaba de receber o Amazon Research Award, na área de automated reasoning. É a primeira vez que este prémio é atribuído a investigadores que desenvolvem os seus trabalhos de I&D em Portugal.

27 junho 2025

Institucional

Supercomputação mais “verde”? O INESC TEC está a processar soluções – e a palavra-chave é “desagregar”

Recursos subaproveitados, energia desperdiçada e custos operacionais elevados. O INESC TEC lidera um projeto que quer propor alternativas à forma como os recursos computacionais são organizados e geridos.

05 maio 2025

Institucional

Investigadores INESC TEC reforçam parceria com rede internacional CENTRA

O INESC TEC reafirmou o seu compromisso com a colaboração internacional em investigação ao participar no evento CENTRA 2025, uma iniciativa global que reúne centros de investigação, institutos e laboratórios das várias partes do mundo para impulsionar o desenvolvimento de ciberinfraestruturas transnacionais. Esta edição do evento focou-se na área da Inteligência Artificial (IA), explorando a sua aplicação na linguística, na psicologia cognitiva e na gestão avançada de ciberinfraestruturas. 

28 março 2025

Ciência e Engenharia dos Computadores

A computação avançada como ponte entre Portugal e o Japão: INESC TEC e AIST reforçam cooperação científica

Passaram cinco anos desde que o INESC TEC e o AIST - National Institute of Advanced Industrial Science and Technology -, situado no Japão, assinaram o primeiro Memorando de Entendimento (MoU). Deste acordo de cooperação científica, especialmente focado na área de computação avançada, resultaram oportunidades de intercâmbios, publicações conjuntas e troca de conhecimentos e experiências, que aproximaram os ecossistemas de I&D português e japonês – sobretudo na área de High-Performance Computing (HPC). Recentemente, os dois institutos renovaram o MoU e vão continuar a trabalhar em conjunto para potenciar a investigação em computação avançada.

03 fevereiro 2025

Ciência e Engenharia dos Computadores

Há pontes a unir a engenharia biomédica e a supercomputação. Investigadoras INESC TEC voaram até Barcelona para as atravessar

Durante uma semana, Alicia Oliveira e Beatriz Cepa trocaram os laboratórios do INESC TEC em Braga por Barcelona, onde decorreu a ACM Summer School. Ali, as investigadoras exploraram alguns dos conceitos introdutórios na área do HPC e perceberam que, num contexto dominado pela informática, a sua formação em engenharia biomédica era, afinal, uma mais-valia.

31 outubro 2024

  • 1
  • 17