Equipa INESC TEC contribui para nova versão de linguagem de modelação Alloy
Os investigadores do Alcino Cunha e Nuno Macedo contribuíram para o desenvolvimento do Alloy 6, a versão mais recente de ...
Categoria: Informática
Investigadores do INESC TEC distinguidos em conferência internacional de engenharia de software
O artigo “Schema-guided Testing of Message-oriented Systems”, escrito em co-autoria por Alcino Cunha e Nuno Macedo, investigadores do INESC TEC, ...
Investigadores do INESC TEC discutem o ensino da computação em Portugal
A conferência ENSICO trouxe a debate a importância de introduzir o pensamento computacional no ensino obrigatório em Portugal. Este evento ...
INESC TEC faz monitorização científica da crise sismo-vulcânica nos Açores
O INESC TEC deslocou-se à ilha de São Jorge, nos Açores, para se juntar à comunidade científica na monitorização da ...
Investigador do INESC TEC colaborou com Prémio Abel em Matemática
A Academia Norueguesa de Ciências e Letras distinguiu Dennis Sullivan com o Prémio Abel em Matemática, o mais alto galardão ...
Investigadores do INESC TEC editam livro sobre metodologias e técnicas de Investigação Operacional
Os investigadores do INESC TEC Alberto Adrego Pinto e José Fernando Oliveira editaram o volume Operational Research IO 2019 da ...
Investigador do INESC TEC edita livro na Springer-Verlag sobre técnicas de análise e modelação
Alberto Adrego Pinto, investigador do INESC TEC e professor catedrático da Faculdade de Ciências da Universidade ...
Investigador INESC TEC publica livro dedicado à gamificação
Ricardo Queirós, investigador do INESC TEC, e docente na Escola Superior de Media Artes e Design do Instituto Politécnico do ...
Investigação INESC TEC permite realizar estudos científicos nos supercomputadores de forma mais rápida
A investigação desenvolvida por investigadores do INESC TEC e Universidade do Minho, João Paulo e Ricardo Macedo, tem como objetivo ...
INESC TEC em projeto que apoia viticultores na gestão do impacto das alterações climáticas
O projeto INFRAVINI criou uma Infraestrutura de Dados Espaciais (IDE) temática para apoio à gestão das alterações climáticas na vinha, ...
Notícias, atualidade, curiosidades e muito mais sobre o INESC TEC e a sua comunidade!
