Róbert Szelepcsényi

Róbert Szelepcsényi Biyografi
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
Diğer bilgiler
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 .

Biyografi

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ı.

Notlar ve referanslar

  1. itibaren Milano Strhan ve David P. Daniel , Slovakya ve Slovaklar: A Özlü Ansiklopedisi , Bratislava, Slovak Bilim Akademisi ansiklopedik Enstitüsü,1994( ISBN  9788085584110 , çevrimiçi okuyun ) , s.  637O besteci oğlu muhtemelen olan (IMDB aktardığı) Jan Szelepcsenyi doğdu5 Ekim 1937içinde Žilina .
  2. Róbert Szelepcsényi, "Belirsiz Otomata için Zorunlu Numaralandırma Yöntemi". Açta Informatica cilt. 26, n o  3, 1988 sayfalar 279-284. Bulletin de l'EATCS , 1887'de aynı başlığa sahip bir ön yayın bulunmaktadır .
  3. ACM'de 1995 Gödel Ödülü'ne atıf .
  4. Rochester Üniversitesi öğrencileri "Arşivlenmiş kopya" ( İnternet Arşivi'nde 4 Ocak 2013 sürümü ) .
  5. Teori grubunun eski öğrencilerinin listesi

Çeviri kaynağı

(de) Bu makale kısmen veya tamamen Wikipedia makalesinden alınmıştır Almanca başlıklı “  Róbert Szelepcsenyi  ” ( yazarların listesini görmek ) .

Dış bağlantılar