Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Notícias

Notícias por Laboratório de Software Confiável

Institucional

Prémios atribuídos em 2012 comprovam excelência da investigação do INESC TEC

Ao longo do ano 2012 foram várias as (boas) notícias que saíram no BIP sobre trabalhos de investigadores nossos galardoados pelas mais diversas razões. Prémios literários, Best Papers Awards, projetos reconhecidos e outras distinções ilustram o potencial do qual se reveste o Laboratório Associado. O BIP resolveu fazer as contas ao palmarés amealhado no ano passado e descobriu 31 prémios conquistados pelos nossos colaboradores. Caso para dizer que a excelência mora no INESC TEC!

24 janeiro 2013

Institucional

Segurança da informação em destaque no INESC TEC

O INESC TEC vai organizar no próximo dia 17 de dezembro um workshop interno sobre segurança da informação.

30 novembro 2012

Institucional

INESC TEC em destaque na Convenção ASD

O INESC TEC esteve presente, entre os dias 10 e 12 de outubro, na Convenção anual da Associação Europeia das Indústrias de Aeronáutica, Espaço e Defesa (ASD), que teve lugar no Centro de Congressos de Lisboa.

30 outubro 2012

Institucional

Projeto HASLab/INESC TEC distinguido com Google Research Award

Um projeto de investigação do Laboratório de Software Confiável (HASLab) do INESC TEC foi distinguido, no passado dia 3 de julho, com um Google Research Award. Intitulado "Minha”, este trabalho tem como objetivo simplificar e melhorar o desenvolvimento de software para "cloud computing".

03 agosto 2012

Institucional

INESC TEC realiza seminário sobre Segurança

Ana Sequeira, Hélder Castro e Jaime Dias, investigadores da Unidade de Telecomunicações e Multimédia (UTM) do INESC TEC, organizaram, no passado dia 13 de julho, um Workshop na área de Segurança. O objetivo era explorar trabalhos de diferentes Unidades do INESC TEC nesta área e tentar enquadrá-los com a Call Europeia de Segurança (FP7-SEC-2013-1).

30 julho 2012

Institucional

Combinação de competências é o caminho da excelência

O crescimento exponencial que o INESC TEC registou nos últimos anos, integrando agora 12 Unidades de I&D com mais de 600 colaboradores, dos quais 200 doutorados, levantava grandes desafios ao nível da combinação eficiente de expertise neste Laboratório Associado: será que conseguiríamos usar essa diversidade de competências para desenvolver projetos nacionais e europeus multidisciplinares e de valor acrescentado?

02 julho 2012

Institucional

INESC TEC - um instituto de que nos devemos orgulhar

O INESC TEC recebeu, nos dias 30 e 31 de janeiro, a visita do SAB - Scientific Advisory Board (Comissão de Avaliação Externa), decorridos três anos desde a última avaliação. O SAB é constituído por um conjunto de investigadores internacionais do mais alto nível que são convidados periodicamente pela Direção para avaliar a atividade do INESC TEC e oferecer sugestões para uma melhoria contínua da instituição. E a avaliação deste ano não podia ser mais positiva: de acordo com o SAB, o INESC TEC sofreu um crescimento exponencial, continua a primar pela excelência da sua ciência e publicações e é uma instituição da qual todos nós nos devemos orgulhar.

06 março 2012

Institucional

MCTES renova estatuto de Laboratório Associado do INESC Porto LA

O Ministro da Ciência, Tecnologia e Ensino Superior, Mariano Gago, assinou o despacho relativo às verbas do Laboratório Associado do INESC Porto LA, onde está prevista a renovação do Estatuto por 10 anos, a que corresponderá um esquema de financiamento de cinco mais cinco anos. No despacho, já é considerado o novo modelo do LA, estando integrados o INESC Porto e as Unidades Associadas.

20 junho 2011

Institucional

INESC Porto catalisa massa crítica em torno do seu Laboratório Associado

Sete Unidades Nucleares do INESC Porto, quatro Unidades Associadas e um Parceiro Privilegiado agregam um total de 569 colaboradores, 193 dos quais doutorados, dando forma à atual dimensão do projeto de Laboratório Associado (LA) que o INESC Porto pretende mobilizar para o próximo quinquénio e submeteu à Fundação para a Ciência e a Tecnologia (FCT) para reconhecimento. Com estatuto de Laboratório Associado desde 2002, o INESC Porto adotou um novo modelo organizativo no início de 2007 com o principal objetivo de alargar o âmbito da instituição enquanto Laboratório Associado. O desafio centrava-se num crescimento em rede que permitisse a consolidação científica com novos grupos que manteriam uma autonomia administrativa e assim abrisse as portas a projetos de maior dimensão, mais exigentes e multidisciplinares. A missão está a ser cumprida.

14 março 2011

Institucional

Crescimento da instituição e adesão de novos grupos ditam mudança no INESC Porto LA

Num ano notoriamente marcado pela crise económica, o INESC Porto faz crescer o seu orçamento de 10 para 12,5 milhões de Euros. Ao contrário do que se poderia supor, este é todavia um dos orçamentos mais conservadores de sempre: cerca de 90% dos proveitos previstos estão contratualmente garantidos desde o início do ano. Com os pés bem assentes na terra, o presidente do INESC Porto admite que, apesar de o INESC Porto ter praticamente duplicado de dimensão nos últimos cinco anos, “não deve, nem pode criar qualquer obsessão por records”. José Manuel Mendonça apela ao empenho de todos os colaboradores para se conseguir manter a instituição num crescimento sustentável, reconhecendo que garantir o elevado nível de qualidade enquanto se cresce tão rapidamente é um enorme desafio.

10 fevereiro 2011

  • 15
  • 15