Yuri Gurevich - Yuri Gurevich

Yuri Gurevich na ETH Zurich em maio de 2004, fotografia de Bertrand Meyer .

Yuri Gurevich , professor emérito na Universidade de Michigan , é um americano cientista da computação e matemático e inventor de máquinas de estado abstratas .

Gurevich nasceu e foi educado na União Soviética . Ele ensinou matemática lá e depois em Israel antes de se mudar para os Estados Unidos em 1982. O trabalho mais conhecido de seu período soviético é sobre o problema de decisão clássico . Em Israel, Gurevich trabalhou com Saharon Shelah em teorias monádicas de segunda ordem . O Teorema da Determinação Esquecida de Gurevich- Harrington também pertence àquele período.

De 1982 a 1998, Gurevich ensinou ciência da computação na Universidade de Michigan , onde começou a trabalhar em vários aspectos da teoria da complexidade computacional, incluindo a complexidade média de casos. Ele se tornou um dos fundadores do campo emergente da teoria dos modelos finitos .

Mais importante, ele se interessou pelo problema do que é um algoritmo . Isso o levou à teoria das máquinas de estado abstrato (ASMs). A Tese ASM diz que, comportamentalmente, todo algoritmo é um ASM. Alguns axiomas convincentes permitiram a derivação da tese ASM sequencial e da tese de Church – Turing. A tese ASM também foi comprovada para algumas outras classes de algoritmos.

De 1998 a 2018, Gurevich trabalhou na Microsoft Research, onde fundou um grupo sobre Fundamentos de Engenharia de Software. O grupo construiu o Spec Explorer com base na teoria das máquinas de estado abstrato. A ferramenta foi adotada pela equipe do Windows ; uma versão modificada da ferramenta ajudou a Microsoft a atender às demandas da União Europeia por especificações executáveis ​​de alto nível. Posteriormente, Gurevich trabalhou com diferentes grupos da Microsoft em várias questões de eficiência, proteção e segurança, incluindo controle de acesso, compactação diferencial e privacidade.

Desde 1988, Gurevich dirige a coluna sobre Lógica em Ciência da Computação no Boletim da Associação Europeia de Ciência da Computação Teórica. Desde 2013 Gurevich trabalhou principalmente com computação quântica , enquanto continuava a pesquisa em suas áreas tradicionais.

Gurevich é 2020 AAAS Fellow, 1997 ACM Fellow , 1995 Guggenheim Fellow , bolsista inaugural da European Association for Theoretical Computer Science , membro da Academia Europaea e Dr. Honoris Causa da Hasselt University na Bélgica e da Ural State University na Rússia .

Referências

links externos