Hazánkba látogat Prof. Sir Tony Hoare - a számítástudomány egyik legismertebb képviselője

2004. október 05.
1.7661
Figyelem! Ez a hír már több, mint egy éves! A benne lévő információk elavultak lehetnek!
Hírblock profilja, adatai
Hírblock
Hazánkba látogat Prof.

Sir Tony Hoare - 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. Prof. Hoare 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.

Ugyanebben az évben lovaggá ütötték a számítástudomány területén tett úttörő munkájáért. Az NJSZT Újklub Szoftvertechnológiai Fórumának 2004. október 6-án -immár kilencedik alkalommal- megrendezésre kerülő eseményén Prof. Hoare "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 mobilipar által motivált nyílt forrású (GCC) fordítóprogram fejlesztésekkel foglalkozik.
1 hozzászólás

[Tiltott felhasználó!]

12 éve, 9 hónapja és 8 napja

[Tiltott felhasználó!]

 
legutóbbi hozzászólások
 
totyak profiljamarco profilja