Doğum |
19 Ağu 1966 Žilina |
---|---|
Milliyet | Slovak |
Eğitim |
Comenius Bratislava Üniversitesi Chicago Üniversitesi Rochester Üniversitesi |
Aktiviteler | Matematikçi , bilgisayar bilimcisi , mühendis |
Ayrım | Gödel Ödülü (1995) |
---|
Róbert Szelepcsényi , doğdu19 Ağu 1966içinde Žilina içinde Çekoslovakya (bugün Slovakya ), bir olan Slovak bilim adamı arasında Macar kökenli .
Yine Matematik, Fizik ve Bilgisayar Bilimleri Fakültesi öğrenci Comenius Üniversitesi'nde de Bratislava , 1987 yılında gösterdiği ve bağımsız Neil Immerman , şimdi ne olarak bilinen Immerman-Szelepcsenyi Teoremi . Bu sonuç onlara ACM ve EATCS tarafından ortaklaşa verilen 1995 Gödel Ödülü'nü kazandırdı .
Teorem, deterministik olmayan bir Turing makinesinin , ilk problemle aynı miktarda alan kullanarak bir problemin tamamlayıcısını çözebileceğini söyler . Zaman karmaşıklığı için, aynı soru hala açıktır (2010'da), ancak genellikle bu durumda böyle bir ifadenin bulunmadığı kabul edilmektedir.
1993 yılında, Róbert Szelepcsényi , Rochester Üniversitesi'nden bir Master of Science (MS) aldı . Chicago Üniversitesi'nde doktora yapmak için biraz zaman harcadı . İçindeEylül 1999O olan Slovak Bilim Akademisi . Szelepcsényi'nin son bilimsel makalesi 1999'da yayınlandı.