Róbert Szelepcsényi
Róbert Szelepcsényi is a Slovak computer scientist of Hungarian descent and a member of the Faculty of Mathematics, Physics and Informatics of Comenius University in Bratislava.
His results on the closure of non-deterministic space under complement, independently obtained in 1987 also by Neil Immerman, brought the Gödel Prize of ACM and EATCS to both of them in 1995.
