Róbert Szelepcsényi
From Wikipedia, the free encyclopedia
Róbert Szelepcsényi (1967) was a Slovakian student of Faculty of Mathematics, Physics and Informatics of Comenius University in Bratislava of Hungarian ethnicity.
His results on the closure of nondeterministic space under complement, independently obtained in 1987 also by Neil Immerman (the result known as the Immerman-Szelepcsényi theorem), brought the prestigious Gödel Prize of ACM and EATCS to both of them in 1995.