Jurij Gurewicz - Yuri Gurevich

Yuri Gurevich w ETH Zurich w maju 2004, fot . Bertrand Meyer .

Yuri Gurevich , emerytowany profesor na Uniwersytecie Michigan , jest amerykański informatyk i matematyk i wynalazca abstrakcyjnych maszyn stanowych .

Gurevich urodził się i kształcił się w Związku Radzieckim . Uczył matematyki tam, a następnie w Izraelu, zanim w 1982 roku przeniósł się do Stanów Zjednoczonych . Najbardziej znana praca z jego okresu sowieckiego dotyczy klasycznego problemu decyzyjnego . W Izraelu Gurevich współpracował z Saharonem Szelahem nad monadycznymi teoriami drugiego rzędu . Forgetful gry nieskończone Twierdzenie o Gurevich- Harrington jest od tego okresu, jak również.

W latach 1982-1998 Gurevich wykładał informatykę na Uniwersytecie Michigan , gdzie rozpoczął pracę nad różnymi aspektami teorii złożoności obliczeniowej, w tym przeciętną złożonością przypadków. Stał się jednym z twórców rodzącej się dziedziny teorii modeli skończonych .

Przede wszystkim zainteresował się problemem, czym jest algorytm . To doprowadziło go do teorii abstrakcyjnych maszyn stanowych (ASM). Teza ASM mówi, że behawioralnie każdy algorytm jest ASM. Kilka przekonujących aksjomatów umożliwiło wyprowadzenie sekwencyjnej tezy ASM i tezy Kościoła-Turinga. Teza ASM została również potwierdzona dla kilku innych klas algorytmów.

W latach 1998-2018 Gurevich pracował w Microsoft Research, gdzie założył grupę zajmującą się podstawami inżynierii oprogramowania. Grupa zbudowała Spec Explorer w oparciu o teorię abstrakcyjnych maszyn stanowych. Narzędzie zostało przyjęte przez zespół Windows ; zmodyfikowana wersja narzędzia pomogła firmie Microsoft spełnić wymagania Unii Europejskiej dotyczące specyfikacji wykonywalnych wysokiego poziomu. Później Gurevich pracował z różnymi grupami Microsoftu nad różnymi kwestiami dotyczącymi wydajności, bezpieczeństwa i zabezpieczeń, w tym kontroli dostępu, kompresji różnicowej i prywatności.

Od 1988 r. Gurevich kieruje kolumną dotyczącą logiki w informatyce w Biuletynie Europejskiego Stowarzyszenia Informatyki Teoretycznej. Od 2013 roku Gurevich zajmuje się głównie obliczeniami kwantowymi , kontynuując jednocześnie badania w swoich tradycyjnych obszarach.

Gurevich jest stypendystą AAAS 2020, stypendystą ACM 1997 , stypendystą Guggenheima 1995 , członkiem inauguracyjnym Europejskiego Stowarzyszenia Informatyki Teoretycznej , członkiem Academia Europaea oraz dr Honoris Causa z Uniwersytetu Hasselt w Belgii i Ural State University w Rosji .

Bibliografia

Linki zewnętrzne