Painel Principal  :  Notícias (Histórico)  :  Ciências da compu...
Notícias - Histórico
 
  Aceleradora   Bolsas & Empregos IPN   Formação  
  Geral   Incentivos   Incubadora   Laboratórios de I&DT   Notas de Imprensa   Prémios   Transf. Tecnologia e PI  
 
Ciências da computação: Prémio internacional entregue em Coimbra a investigador sueco
 
O Prémio Ackerman 2009, que distingue o melhor trabalho científico mundial na área da lógica em ciências da computação, é entregue terça-feira em Coimbra ao investigador sueco Jakob Nordström. Atribuído anualmente pela European Association for Computer Science Logic (EACSL), o galardão é entregue terça-feira ao investigador no anfiteatro do Museu da Ciência da Universidade de Coimbra (UC).

Como evitar que os comboios colidam uns com os outros numa rede ferroviária complexa? E como é possível optimizar o funcionamento do motor de um automóvel? As demonstrações por computador são cada vez mais uma solução para verificar a eficiência de sistemas com um impacto real no nosso dia-a-dia.

Ao provar que a memória de computador utilizada é independente do tempo que levam estas demonstrações, o investigador sueco Jakob Nordström venceu o Prémio Ackermann 2009, segundo uma nota do Museu da Ciência da UC.

"O trabalho de Jakob Nordström aborda questões relacionadas com sistemas de demonstrações implementados em computadores. Tais sistemas são usados, hoje em dia, em muitas aplicações práticas, como, por exemplo, na verificação de horários de caminhos-de-ferro, assegurando que não vão ocorrer colisões, ou em construções de carros, optimizando a composição dos componentes do motor", refere na nota divulgada hoje o professor do Departamento de Matemática da UC Reinhard Kahle.

Uso de memória é independente do tempo

De acordo com o docente da Faculdade de Ciências e Tecnologia da Universidade de Coimbra, a eficiência destes sistemas, isto é, a rapidez com que são executados e a memória que requerem, é uma questão importante.

"Nordström mostrou que o uso de memória é, em geral, independente do tempo: demonstrações rápidas podem necessitar de muita memória. Trata-se, pois, de uma contribuição teórica para uma melhor compreensão da eficiência de sistemas de demonstrações", sublinha.

Atribuído desde 2005, o Prémio Ackermann pretende homenagear o lógico Wilhelm Ackermann (1896-1962), "cujo trabalho mais conhecido, a função de Ackermann, se revelou fundamental para a lógica e para a teoria da computação".

O prémio é entregue no âmbito da conferência anual da EACSL, que este ano decorre em Coimbra durante a próxima semana, adianta a mesma nota do Museu da Ciência da UC. Com 12 candidatos provenientes de 10 países da Europa, América do Norte e Ásia, o júri decidiu galardoar Karl Jakob Nordström, nascido em 1972 e aluno de pós-doutoramento no MIT (Massachussetts Institute of Technology, EUA).

Doutorado em ciências da computação, o investigador foi intérprete militar no Instituto de Línguas das Forças Armadas da Suécia, porta-voz do parlamento e do supremo comandante das Forças Armadas e intérprete do rei e do primeiro-ministro suecos.

"É ainda um interessado em música: diplomado em condução de coros, fundou o conjunto vocal Collegium Vocale Stockholm, que liderou até 1999, e que se apresentou em múltiplos concertos de música renascentista e barroca", adianta a mesma nota.

Fonte: Ciência Hoje
 
Inserido em 07-09-2009
Temas relacionados <Geral>  <Prémios