Yuri Shlyomovich Gurevich | |
---|---|
Fødselsdato | 7. maj 1940 (82 år) |
Fødselssted | Nikolaev , ukrainske SSR , USSR |
Land |
USSR Israel USA |
Videnskabelig sfære | Matematik |
Arbejdsplads | Forskningsafdelingen i Microsoft Corporation (USA) |
Alma Mater | Ural State University |
Akademisk grad | Doktor i fysiske og matematiske videnskaber |
Akademisk titel | Professor |
videnskabelig rådgiver | Professor Kontorovich, Pyotr Grigorievich |
Studerende | Philipp W. Kutter [d] [1] |
Kendt som | Skaber af teorien om abstrakte statsmaskiner, meget udbredt i moderne computervidenskab |
Præmier og præmier | Guggenheim Fellowship ( 1995 ) Hej ACM æresdoktor fra Hasselt Universitet [d] ( 28. maj 1998 ) medlem af American Association for the Advancement of Science [d] ( 2020 ) |
Internet side | web.eecs.umich.edu/~gure... |
Mediefiler på Wikimedia Commons |
Yuri Shlyomovich Gurevich (født 7. maj 1940 [2] , USSR [3] ) er en sovjetisk og amerikansk matematiker og datamatiker, doktor i fysiske og matematiske videnskaber (1968), professor (1969), skaberen af teorien om abstrakt stat maskiner [4] .
Blev født den 7. maj 1940 i byen Nikolaev , ukrainske SSR , USSR .
I 1957 kom han ind på Fakultetet for Matematik og Mekanik ved Ural State University , hvorfra han dimitterede i 1962. Fra 1965 til 1969 underviste Gurevich ved Ural Universitet.
Yuri Gurevich er elev af professor Pyotr Kontorovich . Han har skrevet mere end 200 videnskabelige artikler inden for algebra, matematisk logik og datalogi.
Han underviste i matematik i Israel og flyttede derefter til USA i 1982. Hans mest berømte værk fra den sovjetiske periode er helliget det klassiske "løsningsproblem". I Israel arbejdede Gurevich sammen med Saharon Shelah på andenordens monadiske teorier. Gurevich-Harrington glemsomhedsteoremet hører også til denne periode.
I øjeblikket arbejder Yuri Gurevich i forskningsafdelingen i Microsoft Corporation (USA), hvor han grundlagde en gruppe softwareudviklere. Valgt professor emeritus ved University of Michigan .
Gurevich skabte konceptet om abstrakte statsmaskiner, som er meget udbredt i moderne datalogi.
Gurevich er medlem af ACM, medlem af Guggenheim, medlem af Academia Europaea og en Doctor Honoris Causa fra Hasselt Universitet i Belgien. I 2014 blev han en af ti konstituerende stipendiater i European Association for Theoretical Computer Science.
I 2005 blev han æresdoktor ved Ural State University.