- Menu
- Passa a palavra.
Partilha esta página. - Linked in
- Copiar Url
-
O Laboratório de Software Confiável (HASLab) do INESC TEC acolheu alunos das escolas secundárias dos distritos de Braga, Viana do Castelo e Bragança que escolheram o HASLab para vivenciar a atividade de um investigador na área da Informática. Este acolhimento decorreu no âmbito da 5ª edição do programa Melhores Alunos na UMinho.
08 maio 2018
A EuroSys - European Conference on Computer Systems, uma das maiores conferências em sistemas de computação do mundo, realizou-se no Porto, entre os dias 23 e 26 de abril. Foram cerca de 300 os participantes de todo o mundo que se juntaram nesta que é conhecida como uma das maiores conferências internacionais em sistemas de computação.
03 maio 2018
João Tiago Paulo e Hadi Tork, colaboradores do INESC TEC, no Laboratório de Software Confiável (HASLab) e no Laboratório de Inteligência Artificial e Apoio à Decisão (LIAAD), respetivamente, foram dois dos 15 finalistas no ERCIM 2017 Cor Baayen Young Researcher Award.
29 março 2018
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