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
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
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
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
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
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
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
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
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
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
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
O artigo “Automatically Inferring ClassSheet Models from Spreadsheets” da co-autoria de João Saraiva, investigador do Laboratório de Software Confiável (HASLab) do INESC TEC e docente da Escola de Engenharia da Universidade do Minho, recebeu o prémio Most Influential Paper da conferência internacional VL/HCC 2019, que decorreu em Memphis, Tennessee, USA, de 14 a 18 de outubro.
23 outubro 2019
The access to the final selection minute is only available to applicants.
Please check the confirmation e-mail of your application to obtain the access code.