Offside
Corporate

Um olhar sobre nós na voz dos nossos parceiros - Testemunho da Oficina de Soluções, pela voz de Carlos Cardeiro.

Fora de Série

"... é um privilégio poder trabalhar numa instituição como o INESC Porto, que me tem permitido evoluir quer pessoalmente, quer a nível profissional e científico." Clara Gouveia

A Vós a Razão

" Esta mudança é a esperança que economias de escala, partilha de recursos, o convívio entre diferentes comunidades alavanquem mudanças qualitativas.", João Gama (LIAAD)

Asneira Livre

“'The Portugal chapter' of my life started three years ago, when I moved to Lisbon aiming to start my PhD studies at the MIT Portugal program", Şenay Sadic (UESP)

Galeria do Insólito

Nesta quadra natalícia contamos-lhe como o INESC TEC anda sem estrelinha...

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
 

Investigador do CISTER/INESC TEC vence prémio

Luís Miguel Pinho, vice-diretor do Centro de Investigação em Sistemas Computacionais Embebidos e de Tempo-Real (CISTER) do INESC TEC, recebeu um “Outstanding Ada Community Contribution Award” no âmbito da Conferência ACM SIGAda High Integrity Language Technology, que se realizou de 2 a 6 de dezembro, em Boston, nos Estados Unidos da América (EUA).

O prémio, atribuído pelo Grupo de Interesse Especial sobre a Linguagem de Programação Ada da Association for Computing Machinery (ACM), reconhece investigadores que se destacaram pelas suas notáveis contribuições para a comunidade Ada e para o desenvolvimento e utilização de tecnologia que utiliza esta linguagem de programação.

A Linguagem de Programação Ada foi criada nos anos 80 por forma a permitir gerir a crescente complexidade na criação de sistemas embebidos de tempo-real. Luís Miguel Pinho tem vindo a trabalhar há vários anos nesta área, contribuindo para o avanço dos mecanismos de tempo-real. Mais recentemente, o investigador começou a trabalhar em programação de sistemas de tempo-real paralelos em diversas plataformas embebidas com vários núcleos. Luís Miguel Pinho é desde 2007 membro da direção da organização Ada-Europa e Chefe de Redação do Ada User Journal.

Créditos foto: CloudViews.org