Gurevich, Yuri Shliomovich

Yuri Shlyomovich Gurevich (nacido el 7 de mayo de 1940 [2] , URSS [3] ) es un matemático e informático soviético y estadounidense , Doctor en Ciencias Físicas y Matemáticas (1968), profesor (1969), creador de la teoría del estado abstracto. máquinas [4] .

Biografía

Nació el 7 de mayo de 1940 en la ciudad de Nikolaev , RSS de Ucrania , URSS .

En 1957 ingresó en la Facultad de Matemáticas y Mecánica de la Universidad Estatal de los Urales , de la que se graduó en 1962. De 1965 a 1969 Gurevich enseñó en la Universidad de los Urales.

Yuri Gurevich es alumno del profesor Pyotr Kontorovich . Ha escrito más de 200 artículos científicos en el campo del álgebra, la lógica matemática y la informática.

Enseñó matemáticas en Israel y luego se mudó a los Estados Unidos en 1982. Su obra más famosa del período soviético está dedicada al clásico "problema de solución". En Israel, Gurevich trabajó con Saharon Shelah en teorías monádicas de segundo orden. El teorema del olvido de Gurevich-Harrington también pertenece a este período.

Actualmente, Yuri Gurevich trabaja en la división de investigación de Microsoft Corporation (EE. UU.), donde fundó un grupo de desarrolladores de software. Profesor electo emérito de la Universidad de Michigan .

Gurevich creó el concepto de máquinas de estado abstractas, que se usa ampliamente en la informática moderna.

Gurevich es miembro de la ACM, miembro del Guggenheim, miembro de la Academia Europaea y Doctor Honoris Causa de la Universidad de Hasselt en Bélgica. En 2014, se convirtió en uno de los diez miembros inaugurales de la Asociación Europea de Ciencias de la Computación Teórica.

En 2005 se convirtió en doctor honorario de la Universidad Estatal de los Urales.

Publicaciones científicas

• E. Berger, E. Gredel y Y. Gurevich. El clásico problema de decisión. Springer, 1997.
• Y. Gurevich. Teorías monádicas de segundo orden. En J. Barwise y S. Feferman (eds.), Model Theoretical Logic, Springer, 1985, 479–506.
• Y. Gurevich y L. Harrington. Autómatas, árboles y juegos. STOC '82: Actas del Decimocuarto Simposio Anual de ACM sobre Teoría de la Computación, 1982, 60-65.
• Yu. Gurevich y S. Shelah. Tiempo de cálculo esperado del problema de la ruta hamiltoniana. SIAM Journal on Computing 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. A la lógica adaptada a la complejidad computacional. En Richter et al. (ed.), Teoría de la Computación y Pruebas. Springer Lecture Notes in Mathematics 1104, 1984, 175–216.
• Y. Gurevich. Álgebra en evolución 1993: Manual de Lipari. En E. Borger (ed.)
• Y. Gurevich. Autómatas finitos abstractos secuenciales capturan algoritmos secuenciales. Transacciones ACM en lógica informática 1(1), 2000.
• N. Dershowitz y Yu. Gurevich. Axiomatización natural de la computabilidad y la prueba de la tesis de Church. Boletín de Lógica Simbólica 14:3, 2008, 299-350.
• A. Blass y Yu. Gurevich. Los autómatas finitos abstractos capturan algoritmos paralelos. ACM Transactions on Computational Logic 4(4), 2003, 578–651 y 9(3), 2008, artículo 19.

Notas

1. ↑ Genealogía matemática  (inglés) - 1997.
2. ↑ https://viaf.org/processed/SUDOC%7C073402559
3. ↑ Descarga de datos de Freebase - Google .
4. ↑ Gurevich Yuri Shlemovich . Consultado el 17 de abril de 2022. Archivado desde el original el 15 de mayo de 2021. (indefinido)

Enlaces

• GUREVICH Yuri Shliomovich
• Gurevich Yuri