Yuri Gurevich - Yuri Gurevich
Yuri Gurevich , profesor emérito en la Universidad de Michigan , es un americano científico informático y matemático e inventor de máquinas de estados abstractos .
Gurevich nació y se educó en la Unión Soviética . Enseñó matemáticas allí y luego en Israel antes de mudarse a los Estados Unidos en 1982. El trabajo más conocido de su período soviético es el clásico problema de decisión . En Israel, Gurevich trabajó con Saharon Shelah en teorías monádicas de segundo orden . El Teorema de la Determinación Olvidadiza de Gurevich- Harrington también pertenece a ese período.
De 1982 a 1998, Gurevich enseñó ciencias de la computación en la Universidad de Michigan , donde comenzó a trabajar en varios aspectos de la teoría de la complejidad computacional, incluida la complejidad promedio de los casos. Se convirtió en uno de los fundadores del campo emergente de la teoría de modelos finitos .
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 estado abstractas (ASM). La Tesis de la ASM dice que, desde el punto de vista del comportamiento, cada algoritmo es una ASM. Unos pocos axiomas convincentes permitieron derivar la tesis secuencial de la MAPE y la tesis de Church-Turing. La tesis ASM también ha sido probada para algunas otras clases de algoritmos.
De 1998 a 2018, Gurevich estuvo con Microsoft Research, donde fundó un grupo sobre los fundamentos de la ingeniería de software. El grupo construyó Spec Explorer basado en la teoría de las máquinas de estado abstractas. La herramienta fue adoptada por el equipo de Windows ; una versión modificada de la herramienta ayudó a Microsoft a satisfacer las demandas de la Unión Europea de especificaciones ejecutables de alto nivel. Más tarde, Gurevich trabajó con diferentes grupos de Microsoft en varios temas de eficiencia, seguridad y protección, incluido el control de acceso, la compresión diferencial y la privacidad.
Desde 1988, Gurevich ha dirigido la columna sobre Lógica en Ciencias de la Computación en el Boletín de la Asociación Europea de Ciencias de la Computación Teórica. Desde 2013, Gurevich ha trabajado principalmente en computación cuántica , mientras continúa investigando en sus áreas tradicionales.
Gurevich es miembro de la AAAS 2020 , miembro de la ACM de 1997 , miembro del Guggenheim de 1995 , miembro inaugural de la Asociación Europea de Ciencias de la Computación Teórica , miembro de la Academia Europaea y Dr. Honoris Causa de la Universidad Hasselt en Bélgica y de la Universidad Estatal de los Urales. en Rusia .