Róbert Szelepcsényi (ˈrɔːbert ˈseleptʃeːɲɪ) was a Slovak

Slovakia

The Slovak Republic is a landlocked state in Central Europe. It has a population of over five million and an area of about . Slovakia is bordered by the Czech Republic and Austria to the west, Poland to the north, Ukraine to the east and Hungary to the south...

 student of Hungarian descent and a member of the Faculty of Mathematics, Physics and Informatics

Faculty of Mathematics, Physics and Informatics

The Faculty of Mathematics, Physics and Informatics is one of the faculties of the Comenius University in Bratislava, the capital of Slovakia....

 of Comenius University in Bratislava

Bratislava

Bratislava is the capital of Slovakia and, with a population of about 431,000, also the country's largest city. Bratislava is in southwestern Slovakia on both banks of the Danube River. Bordering Austria and Hungary, it is the only national capital that borders two independent countries.Bratislava...

.

His results on the closure of non-deterministic space

NSPACE

In computational complexity theory, the complexity class NSPACE is the set of decision problems that can be solved by a non-deterministic Turing machine using space O, and unlimited time. It is the non-deterministic counterpart of DSPACE.Several important complexity classes can be defined in terms...

 under complement, independently obtained in 1987 also by Neil Immerman

Neil Immerman

Neil Immerman is an American theoretical computer scientist, a professor of computer science at the University of Massachusetts Amherst...

 (the result known as the Immerman–Szelepcsényi theorem), brought the Gödel Prize

Gödel Prize

The Gödel Prize is a prize for outstanding papers in theoretical computer science, named after Kurt Gödel and awarded jointly by the European Association for Theoretical Computer Science and the Association for Computing Machinery Special Interest Group on Algorithms and Computation Theory .The...

 of ACM

Association for Computing Machinery

The Association for Computing Machinery is a learned society for computing. It was founded in 1947 as the world's first scientific and educational computing society. Its membership is more than 92,000 as of 2009...

 and EATCS

EATCS

The European Association for Theoretical Computer Science is an international organization with a European focus, founded in 1972...

 to both of them in 1995.

Scientific articles

• Róbert Szelepcsényi: The Method of Forced Enumeration for Nondeterministic Automata. Acta Informatica
  Acta Informatica
  Acta Informatica is a peer-reviewed scientific journal publishing original research papers in computer science.The journal is known mostly for publications in theoretical computer science. One of the two 1988 papers awarded the Gödel Prize in 1995 has appeared in this journal....
  
  26(3): 279-284 (1988)