Naukowiec z CNRS laureatem prestiżowej nagrody w dziedzinie informatyki
Naukowiec z francuskiego Krajowego Ośrodka Badań Naukowych (CNRS), finansowany z budżetu UE, został jednym z trzech laureatów prestiżowej Nagrody Turinga przyznawanej przez American Association for Computing Machinery (ACM). Dr Josef Sifakis jest pierwszym obywatelem francuskim, któremu przyznano tę nagrodę, już od chwili ustanowienia w 1966 r. często nazywaną nagrodą Nobla w dziedzinie informatyki. Wszyscy trzej laureaci, zarówno dr Sifakis, jak i jego amerykańscy koledzy dr Edmund M Clarke z Carnegie Mellon University w Pittsburghu i dr E Allan Emerson z Uniwersytetu w Teksasie, zajmują się weryfikacją modelową - technologią, która ułatwia inżynierom pracującym nad sprzętem komputerowym i oprogramowaniem wyszukiwanie błędów w projektach złożonych systemów. Jak stwierdzono w uzasadnieniu, nagrodę o wartości około 170 000 euro przyznano w uznaniu ich "roli w rozwijaniu weryfikacji modelowej w celu uczynienia z niej wysoce skutecznej technologii weryfikacyjnej, powszechnie stosowanej w przemyśle komputerowym". Przewodniczący ACM Stuart Feldman dodał, że prace Clarke'a, Emersona i Sifakisa miały istotne znaczenie dla projektantów i producentów półprzewodnikowych układów scalonych. - Te sektory przemysłu muszą odpowiednio przygotować się do rewolucji technologicznej, w trakcie której wyroby o niespotykanym stopniu złożoności muszą działać zgodnie z oczekiwaniami, jeżeli wytwarzające je firmy mają przetrwać. Postęp w weryfikacji umożliwia skrócenie czasu potrzebnego na wprowadzenie wyrobów na rynek oraz zwiększenie ich integralności. Gdyby nie przełom w sposobie myślenia zapoczątkowany przez tych badaczy, prawdopodobnie nadal zmagalibyśmy się z układami obarczonymi licznymi wadami, o mocy i szybkości działania nieporównywalnie słabszej niż obecnie. To wspaniały przykład technologii prowadzącej do zmian w przemyśle, która powstała w wyniku wysoce teoretycznych badań naukowych. - Intel i cały sektor informatyczny bezpośrednio skorzystały z przełomowych prac laureatów - dodał Andrew Chien, wiceprezes grupy technologii korporacyjnej i dyrektor ds. badań naukowych w Intel Corporation. - Nasi naukowcy i inżynierowie już od 15 lat ściśle współpracują z Clarkiem, Emersonem i Sifakisem. Wnioski płynące z wyników nowej automatycznej metody weryfikacji zostały powszechnie przyjęte w całym sektorze. Rezultatem takiego podejścia do weryfikacji modelowej jest dramatyczne zwiększenie zakresu wyszukiwania błędów projektowych. - Google, jak każde współczesne przedsiębiorstwo technologiczne, w dużej mierze zawdzięcza swój sukces pionierskiej pracy naukowców - powiedział Alan Eustace, starszy wiceprezes działu inżynieryjnego w Google. - Jesteśmy dumni z możliwości uhonorowania laureatów nagrody za ich innowacyjne rozwiązanie trudnego i powszechnie występującego problemu. Mamy nadzieję, że będzie to inspiracją dla tych, którzy dzisiaj stoją przed wyzwaniami technologii przyszłości. Dr Sifakis jest obecnie dyrektorem CNRS ds. badań naukowych i przewodniczącym "Izby B" (Publiczne Instytucje Badawcze) w stowarzyszeniu badawczo rozwojowym ARTEMISIA (ARTEMISIA Association), skupiającym podmioty uczestniczące w finansowanej z budżetu UE inicjatywie ARTEMIS (Advanced research and technology for embedded intelligence and systems - zaawansowane badania i technologie systemów wbudowanych). Jest ponadto założycielem VERIMAG w Grenoble we Francji - wiodącego laboratorium badawczego w dziedzinie krytycznych systemów wbudowanych. W latach 2004-2008 dr Sifakis był koordynatorem naukowym europejskiej sieci doskonałości Artist2 w dziedzinie projektowania systemów wbudowanych, po czym objął to samo stanowisko w nowej europejskiej sieci doskonałości ArtistDesign w tej samej dziedzinie. Dr Sifakis urodził się na greckiej wyspie Krecie; zdobył stopień naukowy z elektrotechniki na Politechnice w Atenach oraz dyplom z informatyki na Uniwersytecie w Grenoble, na którym uzyskał też stopień doktora.
Kraje
Francja