Gurevich nació y se educó en la Unión Soviética . [1] Enseñó matemáticas allí mismo en Israel antes de mudarse a los Estados Unidos en 1982. El trabajo más conocido de su período soviético trata sobre el problema de decisión clásico . [2]
En Israel, Gurevich trabajó con Saharon Shelah en teorías monádicas de segundo orden . [3]
El teorema de la determinación olvidadiza de Gurevich- Harrington también es de ese período. [4]
De 1982 a 1998, Gurevich enseñó informática en la Universidad de Michigan , donde comenzó a trabajar en varios aspectos de la teoría de la complejidad computacional [5]
, incluida la complejidad promedio de los casos. [6]
Se convirtió en uno de los fundadores del campo emergente de la teoría de modelos finitos . [7]
Lo más importante es que se interesó por el problema de qué es un algoritmo . Esto lo llevó a la teoría de las máquinas de estados abstractos (ASM). La Tesis ASM dice que, conductualmente, todo algoritmo es un ASM. [8]
Algunos axiomas convincentes permitieron derivar la tesis de la ASM secuencial [9]
y la tesis de Church-Turing. [10]
La tesis de ASM también ha sido probada para algunas otras clases de algoritmos. [11] [12]
De 1998 a 2018, Gurevich estuvo en Microsoft Research , donde fundó un grupo sobre Fundamentos de la Ingeniería de Software. El grupo construyó Spec Explorer basado en la teoría de las máquinas de estados abstractos. La herramienta fue adoptada por el equipo de Windows ; Una versión modificada de la herramienta ayudó a Microsoft a cumplir con las demandas de la Unión Europea de especificaciones ejecutables de alto nivel. Más tarde, Gurevich trabajó con diferentes grupos de Microsoft en diversos temas de eficiencia, seguridad y protección, [13]
incluido el control de acceso, [14]
compresión diferencial, [15]
y privacidad. [dieciséis]
Desde 1988, Gurevich dirige la columna sobre Lógica en Informática en el Boletín de la Asociación Europea de Informática Teórica. [17]
Desde 2013, Gurevich ha trabajado principalmente en computación cuántica , [18]
mientras continúa investigando en sus áreas tradicionales.
^ Blas, Andreas; Dershowitz, Nachum; Reisig, Wolfgang (2010), Blass, Andreas; Dershowitz, Nachum; Reisig, Wolfgang (eds.), "Yuri, Logic, and Computer Science", Campos de lógica y computación , Lecture Notes in Computer Science, vol. 6300, Berlín, Heidelberg: Springer Berlin Heidelberg, págs. 1–48, doi :10.1007/978-3-642-15025-8_1, ISBN 978-3-642-15024-1, recuperado el 5 de julio de 2023
^ E. Börger, E. Grädel e Y. Gurevich. El problema clásico de la decisión. Springer, 1997.
^ Y. Gurevich. Teorías monádicas de segundo orden. En J. Barwise y S. Feferman (eds.), Lógicas teóricas de modelos, Springer, 1985, 479-506.
^ Y. Gurevich y L. Harrington. Autómatas, árboles y juegos. STOC '82: Actas del decimocuarto simposio anual ACM sobre teoría de la computación, 1982, 60-65.
^ Y. Gurevich y S. Shelah. Tiempo de cálculo esperado para el problema de la trayectoria hamiltoniana. Revista SIAM de Computación 16:3, 1987, 486-502.
^ Y. Gurevich. Completitud promedio del caso. Revista de Ciencias de la Computación y Sistemas 42:3, 1991, 346-398.
^ Y. Gurevich. Hacia una lógica adaptada a la complejidad computacional. En M. Richter et al. (eds.), Teoría de la computación y la prueba. Notas de conferencias de Springer sobre matemáticas 1104, 1984, 175-216.
^ Y. Gurevich. Álgebra en evolución 1993: Guía Lipari. En E. Börger (ed.), Métodos de especificación y validación, Oxford University Press, 1995, 9–36. https://arxiv.org/abs/1808.06255
^ Y. Gurevich. Las máquinas de estados abstractos secuenciales capturan algoritmos secuenciales. Transacciones ACM sobre lógica computacional 1 (1), 2000.
^ N. Dershowitz e Y. Gurevich. Una axiomatización natural de la computabilidad y prueba de la Tesis de Church. Boletín de Lógica Simbólica 14:3, 2008, 299-350.
^ A. Blass e Y. Gurevich. Las máquinas de estados abstractos capturan algoritmos paralelos. Transacciones ACM sobre lógica computacional 4(4), 2003, 578–651 y 9(3), 2008, artículo 19.
^ A. Blass, Y. Gurevich, D. Rosenzweig y B. Rossman . Algoritmos interactivos de pequeños pasos II: máquinas de estados abstractos y el teorema de caracterización. Métodos lógicos en informática 3 (4), 2007, artículo 4.
^ "Patentes de Google".
^ A. Blass, Y. Gurevich, M. Moskal e I. Neeman. Autorización probatoria. En S. Nanz (ed), El futuro de la ingeniería de software, Springer 2011, 77–99.
^ N. Bjørner, A. Blass e Y. Gurevich. Fragmentación dependiente del contenido para compresión diferencial: el enfoque del máximo local. Revista de ciencia de sistemas informáticos 76(3-4), 2010, 154-203.
^ Y. Gurevich, E. Hudis y JM Wing. Privacidad inversa. Comunicaciones de la JCA 59(7), 2016, 38-42.
^ https://eatcs.org/index.php/eatcs-bulletin
^ A. Bocharov, Y. Gurevich y KM Svore . Descomposición eficiente de puertas de un solo qubit en circuitos de base V. Revisión física A 88:1, 2013.
^ Becarios AAAS, consultado el 11 de enero de 2021.
^ "EATCS nombra becarios de 2014", Hitos: premios de informática, nombramientos, comunicaciones de la ACM , 58 (1): 24, enero de 2015, doi :10.1145/2686734, S2CID 11485095
