| Juri Shlyomovich Gurevich | |
|---|---|
| Syntymäaika | 7. toukokuuta 1940 (82-vuotiaana) |
| Syntymäpaikka | Nikolaev , Ukrainan SSR , Neuvostoliitto |
| Maa |
Neuvostoliitto Israel USA |
| Tieteellinen ala | Matematiikka |
| Työpaikka | Microsoft Corporationin tutkimusosasto (USA) |
| Alma mater | Ural State University |
| Akateeminen tutkinto | Fysikaalisten ja matemaattisten tieteiden tohtori |
| Akateeminen titteli | Professori |
| tieteellinen neuvonantaja | Professori Kontorovich, Pjotr Grigorjevitš |
| Opiskelijat | Philipp W. Kutter [d] [1] |
| Tunnetaan | Abstraktien tilakoneiden teorian luoja, jota käytetään laajasti nykyaikaisessa tietojenkäsittelytieteessä |
| Palkinnot ja palkinnot | Guggenheim Fellowship ( 1995 ) Hyvä ACM kunniatohtorin arvo Hasseltin yliopistosta [d] ( 28. toukokuuta 1998 ) American Association for the Advancement of Sciencen jäsen [d] ( 2020 ) |
| Verkkosivusto | web.eecs.umich.edu/~gure… |
| Mediatiedostot Wikimedia Commonsissa | |
Juri Shlyomovich Gurevich (s . 7. toukokuuta 1940 [2] , Neuvostoliitto [3] ) on neuvostoliittolainen ja amerikkalainen matemaatikko ja tietojenkäsittelytieteilijä, fysiikan ja matemaattisten tieteiden tohtori (1968), professori (1969), abstraktin tilan teorian luoja koneet [4] .
Syntyi 7. toukokuuta 1940 Nikolaevin kaupungissa , Ukrainan SSR :ssä , Neuvostoliitossa .
Vuonna 1957 hän tuli Uralin osavaltion yliopiston matematiikan ja mekaniikan tiedekuntaan , josta hän valmistui vuonna 1962. Vuodesta 1965 vuoteen 1969 Gurevich opetti Uralin yliopistossa.
Juri Gurevitš on professori Pjotr Kontorovichin opiskelija . Hän on kirjoittanut yli 200 tieteellistä artikkelia algebran, matemaattisen logiikan ja tietojenkäsittelytieteen aloilta.
Hän opetti matematiikkaa Israelissa ja muutti sitten Yhdysvaltoihin vuonna 1982. Hänen tunnetuin työnsä neuvostokaudella on omistettu klassiselle "ratkaisuongelmalle". Israelissa Gurevich työskenteli Saharon Shelahin kanssa toisen asteen monadisten teorioiden parissa. Tähän ajanjaksoon kuuluu myös Gurevich–Harringtonin unohtamislause.
Tällä hetkellä Juri Gurevich työskentelee Microsoft Corporationin (USA) tutkimusosastolla, jossa hän perusti ryhmän ohjelmistokehittäjiä. Valittiin Michiganin yliopiston emeritusprofessoriksi .
Gurevich loi abstraktien tilakoneiden käsitteen, jota käytetään laajalti nykyaikaisessa tietojenkäsittelytieteessä.
Gurevich on ACM:n jäsen, Guggenheimin jäsen, Academia Europaean jäsen ja Doctor Honoris Causa Hasseltin yliopistosta Belgiasta. Vuonna 2014 hänestä tuli yksi kymmenestä European Association for Theoretical Computer Science -järjestön perustajajäsenestä.
Vuonna 2005 hänestä tuli Uralin valtionyliopiston kunniatohtori.