Jurij Gurewicz - Yuri Gurevich
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 .