Róbert Szelepcsényi

Róbert Szelepcsényi (Slowakische Aussprache:[ˈRɔːbert ˈseleptʂeːɲi];Geboren am 19. August 1966, Žilina[1]) ist ein slowakisch Informatiker von ungarisch Abstieg und Mitglied der Fakultät für Mathematik, Physik und Informatik von Comenius University in Bratislava.

Seine Ergebnisse zum Schließen von Nichtdeterministischer Raum im Rahmen des Komplements unabhängig von 1987 auch von Neil Immerman (Das Ergebnis, das als das bekannt ist Imerman -Szelepcsényi Theorem), brachte die Gödel -Preis von ACM und EATCS zu beiden 1995.[2]

Wissenschaftliche Artikel

  • Róbert Szelepcsényi: Die Methode der erzwungenen Aufzählung für nicht deterministische Automaten. Acta Informatica 26 (3): 279-284 (1988)

Verweise

  1. ^ Mailand Strhan, David Daniel (Hrsg.), Slowakei und die Slowaken - eine prägnante Enzyklopädie, Encyclopedic Institute der slowakischen Akademie der Wissenschaften, 1994.
  2. ^ Gödel -Preiszitat von ACM