Offside
Corporate

Um olhar sobre nós na voz dos nossos parceiros - Testemunho da AuditMark, pela voz de Pedro Fortuna.

Fora de Série

"A atividade científica, de suporte e promoção do grupo levada a cabo por estes investigadores tem sido absolutamente louvável.", Coordenação HASLab

A Vós a Razão

"Entrei para o INESC Porto mal terminei a licenciatura. Aqui me mantive durante oito anos e foi aqui que me doutorei. Terminado o doutoramento, como tinha curiosidade pelo ambiente industrial...", Diana Viegas

Asneira Livre

"[No HASLab] às vezes até aparecemos nas notícias, especialmente no famoso Boletim do INESC TEC...", Paulo Jesus (HASLab)

Galeria do Insólito

"Quem frequenta diariamente o parque de estacionamento do INESC TEC, e presta alguma atenção aos pequenos pormenores, com certeza já terá notado que o género felídeo é frequentador assíduo do recinto..."

Ecografia

BIP tira Raio X a colaboradores do INESC TEC...

Novos Doutorados

Venha conhecer os novos doutorados do INESC TEC...

Cadê Você?

O INESC TEC lança todos os meses no mercado pessoas altamente qualificadas...

Jobs 4 the Boys & Girls

Referência a anúncios publicados pelo INESC TEC, oferecendo bolsas, contratos de trabalho e outras oportunidades do mesmo género...

Biptoon

Mais cenas de como bamos indo porreiros...

Subscrever o BIP
 

Fora de Série

Este espaço destina-se a prestar homenagem a um colaborador que mensalmente se distinga com especial relevo na sua atividade. A escolha final é da responsabilidade da Redação do BIP mas a colaboração das Coordenações de todas as Unidades é preciosa pois as sugestões e motivações são fundamentalmente da sua responsabilidade...

MANUEL BARBOSA

1. Esta distinção é um presente de férias antecipado?

É um ótimo presente mas, infelizmente, não para as férias. Este ano vou, excecionalmente, aproveitar para trabalhar durante todo o verão, visto que estarei em licença sabática em Paris e pretendo tirar o máximo partido desta oportunidade.

2. Qual era a imagem que o HASLab tinha do INESC TEC antes do estabelecimento da relação de parceiro privilegiado? Essa imagem mantém-se?

Julgo que a excelente imagem que o INESC TEC projeta para o exterior é um reflexo do que se passa internamente. Por esse motivo, o nível de compreensão e identificação com a imagem do INESC TEC dentro do HASLab tem aumentado naturalmente à medida que a relação de parceria se intensifica.

Manuel Barbosa1 Manuel Barbosa2

3. Como é que as competências do INESC TEC e do HASLab se podem complementar e reforçar?

O HASLab reúne competências no tratamento rigoroso de aspetos fundamentais à confiabilidade do software, nomeadamente a correção, a fiabilidade, a resiliência e a segurança da informação.
Em certas áreas aplicacionais onde o INESC TEC intervém, como por exemplo as Smart Grid, as garantias de confiabilidade do software são determinantes. As competências do HASLab poderão, assim, fortalecer a posição competitiva do INESC TEC nestas áreas de intervenção.
Em contrapartida, as mesmas áreas encerram enormes desafios de investigação para o HASLab, com uma forte motivação prática, e, portanto, com um enorme potencial para aumentar o impacto das nossas atividades de investigação.

4. De que forma é que esta parceria privilegiada se tem vindo a efetivar na prática?

Neste período inicial de integração desenvolveram-se já diversos esforços de colaboração entre membros do HASLab e de outras unidades do INESC TEC.
Os resultados mais visíveis desta colaboração são um conjunto candidaturas a projetos de Investigação e Desenvolvimento junto de diversas entidades financiadoras. Penso que o sucesso destas iniciativas - ou de outras semelhantes que certamente se seguirão - será o caminho natural para construirmos uma parceria frutuosa.

Manuel Barbosa3 Manuel Barbosa4

5. Terminaremos este questionário, pedindo que comente a nomeação da coordenação do HASLab.

"Ambos os investigadores têm sido, nos últimos anos, os principais mentores e motores das candidaturas e condução, nos casos de aprovação de financiamento, de projetos nacionais e europeus nas duas (de três) áreas pilares do HASLab e na sua conjunção. A sua atividade científica, de suporte e promoção do grupo tem sido absolutamente louvável."

No meu caso, julgo que a coordenação do HASLab está a ser injusta ao acusar-me de tal coisa. :-)

A culpa tem de ser partilhada com a equipa fantástica com a qual tenho a sorte de colaborar, na qual se incluem colegas, alunos de pós-graduação e bolseiros de investigação.

JOSÉ ORLANDO PEREIRA

1. O que significa para si este reconhecimento público do INESC TEC?

Tem um enorme significado conquistar o reconhecimento daqueles (pessoas e instituições) que respeito e estimo.

2. O High Assurance Software Laboratory (HASLab) tornou-se parceiro privilegiado do INESC TEC há cerca de meio ano. Para os “inesquianos” mais distraídos, pode explicar (sinteticamente) qual a missão e atividade deste grupo sediado na Universidade do Minho?

Infelizmente, muito do software que usamos tem tendência para fazer-se notar, até pelos mais distraídos, quando não cumpre o que dele se espera.
No HASLab temos precisamente como objetivo garantir a correção, a capacidade de resposta, a previsibilidade, a robustez e a segurança do software, de forma a obter Sistemas Confiáveis. Perseguimos este objetivo com uma combinação de métodos formais, criptografia e segurança da informação e sistemas distribuídos, áreas em que temos um longo percurso.
Talvez o facto de haver "inesquianos" mais distraídos que ainda não tenham ouvido falar de nós signifique também que temos sido confiáveis, garantindo uma capacidade de resposta, previsível, aos desafios que nos colocam.

Jose Pereira1 Jose Pereira2

3. Como tem sido a aproximação ao INESC TEC? Natural ou têm sentido um choque de culturas?

Do meu ponto de vista, a aproximação tem sido natural na medida em que constatamos que ambos, HASLab e o restante INESC TEC, no fundo, partilhavam já uma conceção comum de investigação.
As diferenças são resolvidas pelo respeito mútuo e graças ao reconhecimento do valor acrescentado da colaboração.

4.De que forma é que os serviços de apoio do INESC TEC (nomeadamente o apoio jurídico, o apoio na gestão de projetos, na gestão financeira e de recursos humanos, bem como em questões de comunicação e imagem) podem contribuir para alavancar a atividade de I&D do HASLab?

A importância destes serviços de apoio é indiscutível para o HASLab e está já a materializar-se, nomeadamente aqui no Boletim do INESC TEC (BIP). Considero que esta importância será cada vez mais evidente à medida que se vão concretizando novos projetos.

 Jose Pereira3 Jose Pereira4

5. Terminaremos este questionário, pedindo que comente a nomeação da coordenação do HASLab.

"Ambos os investigadores têm sido, nos últimos anos, os principais mentores e motores das candidaturas e condução, nos casos de aprovação de financiamento, de projetos nacionais e europeus nas duas (de três) áreas pilares do HASLab e na sua conjunção. A sua atividade científica, de suporte e promoção do grupo tem sido absolutamente louvável."

Uma pergunta difícil... Aprendendo com os meus alunos: Julgo que com as respostas anteriores já dá para o 10, vou deixar esta em branco.