Jurij Gurevič - Yuri Gurevich
Yuri Gurevich , emeritní profesor na University of Michigan , je americký počítačový vědec a matematik a vynálezce abstraktních stavových strojů .
Gurevich se narodil a získal vzdělání v Sovětském svazu . Vyučoval matematiku tam a poté v Izraeli, než se v roce 1982. přestěhoval do USA . Nejznámější práce jeho sovětského období je o klasickém rozhodovacím problému . V Izraeli pracoval Gurevič se Saharonem Shelahem na monadických teoriích druhého řádu . Z tohoto období je také Gurevichova věta o zapomenutí na determinaci - Harrington .
V letech 1982 až 1998 učil Gurevič informatiku na University of Michigan , kde začal pracovat na různých aspektech teorie výpočetní složitosti, včetně průměrné složitosti. Stal se jedním ze zakladatelů vznikající oblasti teorie konečných modelů .
A co je nejdůležitější, začal se zajímat o problém, co je to algoritmus . To ho přivedlo k teorii abstraktních stavových strojů (ASM). Diplomová práce ASM říká, že z hlediska chování je každý algoritmus ASM. Několik přesvědčivých axiomů umožnilo odvození sekvenční práce ASM a práce Church -Turing. Práce ASM byla také prokázána pro některé další třídy algoritmů.
V letech 1998 až 2018 byl Gurevich ve společnosti Microsoft Research, kde založil skupinu Foundations of Software Engineering. Skupina vytvořila Spec Explorer na základě teorie abstraktních stavových strojů. Nástroj přijal tým Windows ; upravená verze nástroje pomohla společnosti Microsoft splnit požadavky Evropské unie na spustitelné specifikace na vysoké úrovni. Později Gurevich pracoval s různými skupinami Microsoftu na různých problémech s efektivitou, bezpečností a zabezpečením, včetně řízení přístupu, diferenciální komprese a ochrany osobních údajů.
Od roku 1988 Gurevich spravuje sloupek Logika v informatice ve Věstníku Evropské asociace pro teoretickou informatiku. Od roku 2013 Gurevič pracoval primárně na kvantové výpočetní technice a pokračoval ve výzkumu ve svých tradičních oblastech.
Gurevich je 2020 AAAS Fellow, 1997 ACM Fellow , 1995 Guggenheim Fellow 1995 , inaugurační člen Evropské asociace pro teoretickou informatiku , člen Academia Europaea a Dr. Honoris Causa z Hasselt University v Belgii a Ural State University v Rusku .