- Menu
- Passa a palavra.
Partilha esta página. - Linked in
- Copiar Url
-
KLEE, Coalgebraic Modeling and Analysis for Computational Synthetic Biology, é o novo projeto de investigação do Laboratório de Software Confiável (HASLab) do INESC TEC, que foi aceite recentemente pelo concurso da Fundação para a Ciência e Tecnologia, e que visa o desenvolvimento de modelos coalgébricos para biologia sintética.
14 março 2018
Salvar vidas através da redução de erros na utilização de dispositivos médicos. Será esta motivação que levou investigadores do Laboratório de Software Confiável (HASLab) do INESC TEC a participar num programa internacional que tem como objetivo reduzir o número de erros associados à utilização dos equipamentos como monitores de glicose ou máquinas de hemodiálise, melhorando a sua segurança e consequente performance.
01 fevereiro 2018
José Creissac Campos, investigador no Laboratório de Software Confiável (HASLab) do INESC TEC e professor na Universidade do Minho, foi nomeado membro do Grupo de Assessores do Ministério dos Negócios, Inovação e Emprego da Nova Zelândia (MBIE - Ministry of Business, Innovation and Employment).
31 janeiro 2018
O projeto europeu SafeCloud, Secure and Resilient Cloud Architecture, alcançou uma avaliação positiva no seu segundo ano de atividade, no âmbito da avaliação da Comissão Europeia, que decorreu em novembro em Bruxelas.
17 janeiro 2018
Afonso Rodrigues, colaborador do INESC TEC e aluno de Mestrado Integrado em Engenharia Física da Universidade do Minho, foi um dos oito vencedores da bolsa de investigação científica e tecnológica da Gulbenkian, no âmbito de Tecnologias Quânticas.
04 janeiro 2018
A Web Summit, a maior conferência europeia de empreendedorismo, tecnologia e inovação, contabilizou a presença 2.100 startups que tentaram a sua sorte para obter financiamento, e duas delas tiveram origem no INESC TEC: a SafeCloud Technologies e a MitMyNid.
18 dezembro 2017
O Laboratório de Software Confiável (HASLab) do INESC TEC organizou a 14ª edição da FACS – Conferência Internacional em Aspetos Formais e Componentes de Software, que decorreu de 10 a 13 de outubro, em Braga.
31 outubro 2017
Rui Oliveira, administrador do INESC TEC, investigador do Laboratório de Software Confiável (HASLab) e docente da Escola de Engenharia da Universidade do Minho, concluiu, nos dias 7 e 8 de setembro, as provas de agregação na Universidade do Minho (UM), tendo sido aprovado por unanimidade pelos membros do júri.
13 outubro 2017
O artigo intitulado “Towards a Green Ranking for Programming Languages”, da autoria de Marco Couto, Rui Pereira, Francisco Ribeiro, Rui Rua e João Saraiva, investigadores do Laboratório de Software Confiável (HASLab) do INESC TEC, foi escolhido para Best Paper Award da SBLP 2017.
06 outubro 2017
A Computação Sem Fronteiras é uma atividade que, integrada do Verão do Campus da U.Minho, tem por objetivo promover as áreas da Informática e da Computação junto dos alunos do ensino secundário.
21 setembro 2017
O artigo intitulado “Similarity aware shuffling for the distributed execution of SQL window functions”, de autoria de Fábio Coelho, José Pereira e Rui Oliveira, do Laboratório de Software Confiável (HASLab) do INESC TEC, juntamente com Miguel Matos do INESC-ID, foi escolhido para o Best Paper Award da DAIS 2017.
29 junho 2017
Rui Pereira, aluno de doutoramento e investigador do HASLab – Laboratório de Software Confiável do INESC TEC, alcançou o segundo lugar no ACM Student Research Competition na ICSE 2017, com o trabalho “Locating energy hotspots in source code”.
02 junho 2017