Cookies
Usamos cookies para melhorar nosso site e a sua experiência. Ao continuar a navegar no site, você aceita a nossa política de cookies. Ver mais
Aceitar Rejeitar
  • Menu
Notícias

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

Informática

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

Informática

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

Informática

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

Informática

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

Informática

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

Informática

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

Informática

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

Informática

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

Informática

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

Informática

Jubilação de José Manuel Valença com casa cheia

José Manuel Valença, investigador do Laboratório de Software Confiável (HASLab) do INESC TEC e professor catedrático da Escola de Engenharia da Universidade do Minho, deu a sua última lição no dia 18 de outubro, na Universidade do Minho, em Braga.

13 novembro 2019

Informática

INESC TEC participa em conferência internacional na área de sistemas distribuídos confiáveis

Uma equipa de investigadores do Laboratório de Software Confiável (HASLab) do INESC TEC participou na 38th International Symposium on Reliable Distributed Systems (SRDS 2019), que decorreu em Lyon, França, de 1 a 4 de outubro, onde apresentou quatro artigos científicos, organizou um workshop, entre outras missões.

13 novembro 2019

Informática

INESC TEC organiza congresso mundial com 600 profissionais na área da Informática

O FM’19 – 3rd World Congress on Formal Methods, evento que reúne os especialistas de todo o mundo na área da Informática, realizou-se no Porto, entre os dias 7 e 11 de outubro.

31 outubro 2019

  • 1
  • 10