Youri Gourevitch - Yuri Gurevich
Yuri Gurevich , professeur émérite à l' Université du Michigan , est un Américain informaticien et mathématicien et inventeur de machines d'état abstraites .
Gurevich est né et a fait ses études en Union soviétique . Il a enseigné les mathématiques là-bas puis en Israël avant de s'installer aux États-Unis en 1982. Les travaux les plus connus de sa période soviétique portent sur le problème de décision classique . En Israël, Gurevich a travaillé avec Saharon Shelah sur les théories monadiques du second ordre . Le théorème de la détermination oublieuse de Gurevich- Harrington date également de cette période.
De 1982 à 1998, Gurevich a enseigné l' informatique à l' Université du Michigan , où il a commencé à travailler sur divers aspects de la théorie de la complexité computationnelle, y compris la complexité moyenne des cas. Il est devenu l'un des fondateurs du domaine émergent de la théorie des modèles finis .
Plus important encore, il s'est intéressé au problème de ce qu'est un algorithme . Cela l'a conduit à la théorie des machines à états abstraits (ASM). La thèse ASM dit que, du point de vue comportemental, chaque algorithme est un ASM. Quelques axiomes convaincants ont permis de déduire la thèse séquentielle de l'ASM et la thèse Church-Turing. La thèse ASM a également été prouvée pour d'autres classes d'algorithmes.
De 1998 à 2018, Gurevich était chez Microsoft Research où il a fondé un groupe sur les fondements du génie logiciel. Le groupe a construit Spec Explorer sur la base de la théorie des machines à états abstraites. L'outil a été adopté par l' équipe Windows ; une version modifiée de l'outil a aidé Microsoft à répondre aux exigences de l' Union européenne en matière de spécifications exécutables de haut niveau. Plus tard, Gurevich a travaillé avec différents groupes Microsoft sur divers problèmes d'efficacité, de sûreté et de sécurité, notamment le contrôle d'accès, la compression différentielle et la confidentialité.
Depuis 1988, Gurevich dirige la rubrique Logic in Computer Science dans le Bulletin de l'Association européenne pour l'informatique théorique. Depuis 2013, Gurevich travaille principalement sur l'informatique quantique , tout en poursuivant ses recherches dans ses domaines traditionnels.
Gurevich est un membre de l' AAAS en 2020 , un membre de l'ACM en 1997 , un membre du Guggenheim en 1995 , un membre inaugural de l' Association européenne pour l'informatique théorique , un membre de l' Academia Europaea et le Dr Honoris Causa de l' Université de Hasselt en Belgique et de l'Université d'État de l' Oural. en Russie .