- Menu
- Passa a palavra.
Partilha esta página. - Linked in
- Copiar Url
-
A computação de elevado desempenho (High Performance Computing – HPC, em inglês) é a base para avanços científicos, industriais e sociais que melhoram a qualidade de vida das pessoas em todo o mundo. O principal objetivo do projeto RISC2 – A network for supporting the coordination of Computing research between Europe and Latin America – passa por promover e melhorar a relação entre as comunidades de investigação e industriais da Europa e da América Latina, com foco nas aplicações HPC e implementação de infraestruturas.
14 novembro 2021
O Laboratório de Software Confiável (HASLab) do INESC TEC coordena o projeto “Quantitative methods for cyber-physical programming: reasoning precisely about imprecisions in cyber-physical behavior”, cujo objetivo é desenvolver métodos matemáticos para modelar e analisar imprecisões no software ciber-físico.
08 setembro 2021
O Laboratório de Software Confiável (HASLab) do INESC TEC vai desenvolver soluções que permitirão que as redes de comunicações WAN (Wide Area Networks) se adaptem, em tempo real, à disponibilidade e fonte de energia elétrica, dando prioridade às fontes renováveis.
06 setembro 2021
O artigo “ASPAS: As Secure as Possible Available Systems”, escrito em coautoria por Houssam Yactine, Ali Shoker, e George Younes, investigadores do Laboratório de Software Confiável (HASLab) do INESC TEC, recebeu o prémio Best Paper Award na 16ª edição da International Federated Conference on Distributed Computing Techniques (DisCoTec2021).
15 julho 2021
O projeto PassCert, Investigação do Impacto de Verificação Formal na Adoção de Software para Segurança de Passwords, arrancou em fevereiro e vai permitir criar um gestor de passwords que, através do uso de verificação formal, garante propriedades de segurança sobre o armazenamento de dados e geração de passwords.
31 maio 2021
Medir, monitorizar e melhorar a presença, posição social e influência de empresas e indivíduos nas redes sociais.
26 maio 2021
O INESC TEC coorganizou o workshop AIST 2021 – International Workshop on Artificial Intelligence in Software Testing, no âmbito da IEEE International Conference on Software Testing (ICST 2021), e dedicado à Inteligência Artificial para testes de software. O evento decorreu online, no dia 12 de abril, e contou com mais de 20 participantes.
07 maio 2021
O projeto IDINA – Identidade Digital Inclusiva Não Autoritativa, liderado pelo Laboratório de Software Confiável (HASLAb) do INESC TEC, é o vencedor do Prémio IN3+, promovido pela Imprensa Nacional – Casa da Moeda S.A. (INCM), no valor de 600 mil euros. O IDINA pretende criar uma plataforma de identificação do cidadão eficaz e inclusiva, em países que não possuem sistemas centrais de identificação (infraestruturas de registo civil), para todos os cidadãos.
30 março 2021
O projeto CoronaSurveys, que pretende determinar a incidência da pandemia em vários países, foi distinguido no “XPRIZE Pandemic Response Challenge” com uma menção honrosa e um prémio no valor de 3 mil euros em crédito AWS (Amazon Web Services).
24 março 2021
Em parceria com o INESC TEC, o desenvolvimento da plataforma SIS permitiu à NAU21, empresa incubada no UPTEC, ser distinguida pela revista Insurance CIO Outlook, como uma das 10 das melhores empresas de Insurtech da Europa. Esta plataforma pretende revolucionar a forma como qualquer pessoa lida com os seguros, tornando os processos mais simples, rápidos e diretos.
05 março 2021
O projeto IDINA, Identidade Digital Inclusiva Não-Autoritativa, é um dos projetos finalistas da terceira edição do Prémio IN3+, uma iniciativa que pretende apoiar a geração de novas ideias, promovida pela Imprensa Nacional-Casa da Moeda (INCM).
22 fevereiro 2021
O INESC TEC, através do Centro de Engenharia de Sistemas Empresariais (CESE) e do Laboratório de Software Confiável (HASLab), participa no projeto CircThread – Building the Digital Thread for Circular Economy Product, Resource & Service Management.
14 janeiro 2021