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