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 esta 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 vai ser entregue 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 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 o professor do Departamento de Matemática da UC Reinhard Kahle. 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 esta 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.
D/D
Atribuído anualmente pela European Association for Computer Science Logic (EACSL), o galardão vai ser entregue 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 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 o professor do Departamento de Matemática da UC Reinhard Kahle. 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 esta 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.
D/D