Új kihívások a szoftver kutatás-fejlesztésben

Hazánkba látogat Sir Tony Hoare professzor – a számítástudomány területén a világ egyik legismertebb képviselője -, az Oxford University Computing Laboratory emeritus professzora, és a Cambridge-i Microsoft Research tudományos kutatója. Hoare professzor nevéhez fűződik – többek között – a jól ismert CSP konkurens programozási modell, és vezetésével készült el az első kereskedelmi fordítóprogram az Algol, 60 nyelvre. 2000-ben kapta meg a japán Inamori Alapítvány Kyoto-díját, majd ugyanebben az évben lovaggá ütötték a számítástudomány területén tett úttörő munkájáért.

A Szoftvertechnológiai Fórum 2004. október 6-án – immár kilencedik alkalommal – megrendezésre kerülő eseményén Hoare professzor „The verifying compiler: a Grand Challenge for computing research” című előadásában egy olyan fordítóprogram fejlesztésének lehetőségét vizsgálja, amely a fordítás közben képes lenne ellenőrizni a program helyességét. Természetesen ilyen fordítóprogram létrehozása roppant nehéz, a feladat nagyságát az előadó az emberi géntérkép elkészítéséhez hasonlítja.

Az NJSZT Újklub (IEEE-CS NJSZT Fórum) rendezvényének hazai előadója Dr. Gyimóthy Tibor, a Szegedi Tudományegyetem Szoftverfejlesztés Tanszékének vezetője, több fordítóprogrammal kapcsolatos szoftver kutatás-fejlesztési projekt vezetője. “The Renaissance of Compiler development: Compiler optimization motivated by embedded systems” című prezentációjában elsősorban a mobil ipar áltál motivált nyílt forrású (GCC) fordítóprogram fejlesztésekkel foglalkozik.