| Jurij Šljumovič Gurevič | |
|---|---|
| Datum narození | 7. května 1940 (ve věku 82 let) |
| Místo narození | Nikolaev , Ukrajinská SSR , SSSR |
| Země |
SSSR Izrael USA |
| Vědecká sféra | Matematika |
| Místo výkonu práce | Výzkumná divize společnosti Microsoft Corporation (USA) |
| Alma mater | Uralská státní univerzita |
| Akademický titul | Doktor fyzikálních a matematických věd |
| Akademický titul | Profesor |
| vědecký poradce | Profesor Kontorovič, Pyotr Grigorievich |
| Studenti | Philipp W. Kutter [d] [1] |
| Známý jako | Tvůrce teorie abstraktních stavových strojů, široce používané v moderní informatice |
| Ocenění a ceny | Guggenheim Fellowship ( 1995 ) Ahoj ACM čestný doktorát z Hasselt University [d] ( 28. května 1998 ) člen American Association for the Advancement of Science [d] ( 2020 ) |
| webová stránka | web.eecs.umich.edu/~gure… |
| Mediální soubory na Wikimedia Commons | |
Yuri Shlyomovich Gurevich (narozen 7. května 1940 [2] , SSSR [3] ) je sovětský a americký matematik a informatik, doktor fyzikálních a matematických věd (1968), profesor (1969), tvůrce teorie abstraktního stavu stroje [4] .
Narodil se 7. května 1940 ve městě Nikolaev , Ukrajinská SSR , SSSR .
V roce 1957 nastoupil na Fakultu matematiky a mechaniky Uralské státní univerzity , kterou absolvoval v roce 1962. Od roku 1965 do roku 1969 Gurevich učil na Uralské univerzitě.
Jurij Gurevič je žákem profesora Pyotra Kontoroviče . Napsal více než 200 vědeckých prací z oblasti algebry, matematické logiky a informatiky.
Učil matematiku v Izraeli a poté se v roce 1982 přestěhoval do USA . Jeho nejslavnější dílo sovětského období se věnuje klasickému „problému řešení“. V Izraeli Gurevich pracoval se Saharon Shelah na monadických teoriích druhého řádu. Do tohoto období patří i Gurevichova-Harringtonova věta o zapomnění.
V současné době Yuri Gurevich pracuje ve výzkumné divizi společnosti Microsoft Corporation (USA), kde založil skupinu softwarových vývojářů. Zvolen emeritním profesorem na University of Michigan .
Gurevich vytvořil koncept abstraktních stavových strojů, který je široce používán v moderní počítačové vědě.
Gurevich je členem ACM, členem Guggenheimovy rady, členem Academia Europaea a Doctor Honoris Causa z Hasselt University v Belgii. V roce 2014 se stal jedním z deseti inauguračních stipendistů Evropské asociace pro teoretickou informatiku.
V roce 2005 se stal čestným doktorem Uralské státní univerzity.