Yuri Gurevich - Yuri Gurevich

Yuri Gurevich, Mayıs 2004'te ETH Zürih'te , Bertrand Meyer'in fotoğrafı .

Yuri Gurevich , profesörü de Michigan Üniversitesi , bir olan Amerikalı bilgisayar bilimcisi ve matematikçi ve mucidi soyut devlet makineleri .

Gurevich, Sovyetler Birliği'nde doğdu ve eğitim gördü . 1982'de Amerika Birleşik Devletleri'ne taşınmadan önce orada ve sonra İsrail'de matematik öğretti . Sovyet döneminin en bilinen eseri klasik karar problemi üzerinedir . İsrail'de Gurevich, Saharon Shelah ile monadik ikinci derece teoriler üzerinde çalıştı . Forgetful durumlarının belirlenmesi teoremi Gurevich- arasında Harrington de bu süre taşımaktadır.

1982'den 1998'e kadar Gurevich , Michigan Üniversitesi'nde bilgisayar bilimi dersleri verdi ve burada ortalama durum karmaşıklığı dahil olmak üzere hesaplama karmaşıklığı teorisinin çeşitli yönleri üzerinde çalışmaya başladı. Gelişmekte olan sonlu model teorisi alanının kurucularından biri oldu .

En önemlisi, algoritmanın ne olduğu sorunuyla ilgilenmeye başladı . Bu onu soyut durum makineleri (ASM'ler) teorisine götürdü. ASM Tezi, davranışsal olarak her algoritmanın bir ASM olduğunu söyler. Birkaç ikna edici aksiyom, sıralı ASM tezi ve Church-Turing tezinin türetilmesini mümkün kıldı. ASM tezi, diğer bazı algoritma sınıfları için de kanıtlanmıştır.

1998'den 2018'e kadar Gurevich, Yazılım Mühendisliğinin Temelleri üzerine bir grup kurduğu Microsoft Research ile birlikteydi . Grup , soyut durum makineleri teorisine dayalı olarak Spec Explorer'ı kurdu . Araç, Windows ekibi tarafından benimsendi ; aracın değiştirilmiş bir sürümü, Microsoft'un Avrupa Birliği'nin üst düzey yürütülebilir spesifikasyon taleplerini karşılamasına yardımcı oldu . Daha sonra Gurevich, erişim denetimi, diferansiyel sıkıştırma ve gizlilik dahil olmak üzere çeşitli verimlilik, güvenlik ve güvenlik konularında farklı Microsoft gruplarıyla çalıştı.

1988'den beri Gurevich, Avrupa Teorik Bilgisayar Bilimleri Birliği Bülteninde Bilgisayar Bilimlerinde Mantık sütununu yönetmektedir. 2013'ten beri Gurevich, geleneksel alanlarında araştırmalarını sürdürürken, öncelikle kuantum hesaplama üzerinde çalıştı .

Gurevich bir 2020 AAAS Üyesi, 1997 ACM Üyesi , 1995 yılındaki Guggenheim Bursu , bir açılış adam Teorik Bilgisayar Bilimi Avrupa Birliği , üyesi Academia europaea ve Dr fahri arasında Hasselt Üniversitesi içinde Belçika ve Ural Devlet Üniversitesi içinde Rusya .

Referanslar

Dış bağlantılar