Yuri Gurevich
Yuri Gurevich , professor emeritus vid University of Michigan , är en amerikansk datavetare och matematiker och uppfinnaren av abstrakta statsmaskiner .
Gurevich föddes och utbildades i Sovjetunionen . Han undervisade i matematik där och sedan i Israel innan han flyttade till USA 1982. Det mest kända arbetet under hans sovjetperiod handlar om det klassiska beslutsproblemet . I Israel arbetade Gurevich med Saharon Shelah på monadiska andra ordningens teorier . Gurevich- Harringtons Forgetful Determinacy Theorem är också från den perioden.
Från 1982 till 1998 undervisade Gurevich i datavetenskap vid University of Michigan , där han började arbeta med olika aspekter av beräkningskomplexitetsteori inklusive genomsnittlig fallkomplexitet. Han blev en av grundarna av det framväxande området för finita modellteori .
Viktigast av allt blev han intresserad av problemet med vad en algoritm är. Detta ledde honom till teorin om abstrakta tillståndsmaskiner (ASM). ASM-uppsatsen säger att beteendemässigt är varje algoritm en ASM. Några få övertygande axiom möjliggjorde härledning av den sekventiella ASM-avhandlingen och Church-Turing-avhandlingen. ASM-avhandlingen har också bevisats för vissa andra klasser av algoritmer.
Från 1998 till 2018 var Gurevich med Microsoft Research där han grundade en grupp om Foundations of Software Engineering. Gruppen byggde Spec Explorer baserat på teorin om abstrakta tillståndsmaskiner. Verktyget antogs av Windows -teamet; en modifierad version av verktyget hjälpte Microsoft att möta EU:s krav på körbara specifikationer på hög nivå. Senare arbetade Gurevich med olika Microsoft-grupper på olika effektivitets-, säkerhets- och säkerhetsfrågor, inklusive åtkomstkontroll, differentiell komprimering och integritet.
Sedan 1988 har Gurevich hanterat kolumnen om Logic in Computer Science i Bulletin of the European Association for Theoretical Computer Science. Sedan 2013 har Gurevich främst arbetat med kvantberäkningar , samtidigt som han fortsatt forskning inom sina traditionella områden.
Gurevich är AAAS -stipendiat 2020, ACM-stipendiat 1997 , Guggenheim-stipendiat 1995 , invigningsstipendiat i European Association for Theoretical Computer Science, medlem av Academia Europaea och Dr. Honoris Causa vid Hasselt University i Belgien och Ural State University i Ryssland .
externa länkar
| Internationell | |
|---|---|
| Nationell | |
| Akademiker | |
| Övrig | |
