Róbert Szelepcsényi

Róbert Szelepcsényi ( slovakiskt uttal: [ˈrɔːbert ˈseleptʂeːɲi] ; född 19 augusti 1966, Žilina ) är en slovakisk datavetare av ungersk härkomst och medlem av fakulteten för matematik, fysik och fysik i Braslav Comenius universitet .

Hans resultat om stängningen av icke-deterministiskt utrymme under komplement, oberoende erhållna 1987 också av Neil Immerman (resultatet känt som Immerman–Szelepcsényi-satsen ), gav Gödel-priset för ACM och EATCS till dem båda 1995.

Vetenskapliga artiklar

• Róbert Szelepcsényi: Metoden för påtvingad uppräkning för icke-deterministiska automater. Acta Informatica 26(3): 279-284 (1988)