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

Institucional

Equipa INESC TEC colabora com iniciativa ENSICO

Investigadores do INESC TEC participam na iniciativa ENSICO, Associação para o Ensino da Computação, que pretende apostar no ensino das Ciências da Computação nas escolas portuguesas, apoiando a criação de práticas inovadoras na era digital, através de novas ferramentas de ensino, de materiais e de software de aprendizagem.

29 outubro 2020

Institucional

INESC TEC contribui para criação de app que fornece apoio psicológico gratuito durante a pandemia

A Psicovida tem como missão apoiar a comunidade nacional, ao assegurar o acesso equitativo e gratuito de intervenção psicológica no atual cenário da pandemia. Trata-se de uma aplicação móvel que coloca utentes a falar diretamente com psicólogos credenciados, através de videochamada, e que disponibiliza também diversas estratégias de autoajuda.

06 outubro 2020

Institucional

INESC TEC apoia desenvolvimento de nova versão de plataforma de gestão de risco

Melhorar a plataforma RAID, sistema comercializado pela analista de telecomunicações Mobileum para a gestão integral de risco em empresas, tornando-a compatível com a rede 5G e com computação periférica. É este o objetivo do projeto AIDA.

18 setembro 2020

Institucional

Projeto CoronaSurveys já tem aplicação móvel disponível

O projeto CoronaSurveys, que conta com a participação de Carlos Baquero, investigador do Laboratório de Software Confiável (HASLab) do INESC TEC e professor da UMinho, tem disponível uma aplicação móvel para Android e iOS e está já a decorrer em 150 países diferentes.

28 julho 2020

Institucional

LightKone chega ao fim e obtém nota positiva na avaliação final

O projeto europeu LightKone, em que esteve envolvido o Laboratório de Software Confiável (HASLab) do INESC TEC, obteve avaliação positiva na avaliação final da Comissão Europeia. De acordo com os revisores “o projeto forneceu resultados valiosos para a comunidade científica”.

20 julho 2020

Institucional

Investigador do INESC TEC recebe título de Professor Emérito da Universidade do Minho

José Manuel Valença, investigador sénior do Laboratório de Software Confiável (HASLab) do INESC TEC e Professor Catedrático Jubilado da Escola de Engenharia da UMinho, recebeu, no dia 23 de junho, o título de Professor Emérito da mesma Instituição.

20 julho 2020

Institucional

INESC TEC participa em projeto para melhorar o desempenho dos supercomputadores

A computação de alta performance (High Performance Computing - HPC, em inglês) oferece um melhor desempenho do que os computadores comuns, permitindo resolver problemas complexos de engenharia e ciência e contribuindo para o avanço tecnológico em diversas áreas. 

01 julho 2020

Institucional

Investigador do INESC TEC conclui provas de agregação na UMinho

José Creissac Campos, investigador sénior do Laboratório de Software Confiável (HASLab) do INESC TEC e docente da Escola de Engenharia da Universidade do Minho, concluiu nos dias 3 e 4 de junho as provas de agregação na Universidade do Minho, tendo sido aprovado por unanimidade pelos elementos do júri.

22 junho 2020

Institucional

INESC TEC alcança primeira patente de software nos EUA

O INESC TEC tem, pela primeira vez, uma patente de software concedida nos Estados Unidos da América (EUA), com a tecnologia utilizada na carteira móvel de criptomoedas da spin-off Keyruptive.

15 junho 2020

Institucional

Investigador do INESC TEC participa em estudo internacional para determinar a incidência da pandemia

Uma equipa internacional de investigadores, onde se inclui o investigador do Laboratório de Software Confiável (HASLab) do INESC TEC, Carlos Baquero, está a estimar o número de casos reais com sintomas de COVID-19 e a sua evolução em onze países, tendo por base uma sondagem aberta online partilhada nas redes sociais.

15 abril 2020

Institucional

INESC TEC desenvolve aplicação para gestão de grandes bases de dados em tempo real

A gestão e atualização de bases de dados está, hoje, no centro das preocupações das grandes empresas. Atualmente, para realizar estas tarefas críticas, a aquisição de hardware dedicado é a solução encontrada pela maioria das organizações, mas que significa ainda despesas de gestão e manutenção de hardware e, frequentemente, a necessidade de alocar recursos humanos. Agora, uma plataforma na cloud promete dar resposta às exigências do mercado, com uma tecnologia mais fiável, atualizável em tempo real e com custos à medida das necessidades.

11 janeiro 2020

Institucional

HASLab acolhe alunos do programa Melhor Estudante na UMinho 2019

O Laboratório de Software Confiável (HASLab) do INESC TEC acolheu, no dia 19 de dezembro, seis alunos oriundos de Braga, Guimarães, Santo Tirso e Terras de Bouro, que escolheram o HASLab para conhecer e experimentar a atividade de um investigador na área da Informática. Este acolhimento decorreu no âmbito da edição de 2019 do programa Melhor Estudante na UMinho.

07 janeiro 2020

  • 6
  • 16