Róbert Szelepcsényi (; born 19 August 1966,

Žilina Žilina (; hu, Zsolna, ; german: Sillein, or ; pl, Żylina , names in other languages) is a city in north-western Slovakia, around from the capital Bratislava, close to both the Czech and Polish borders. It is the fourth largest city of ...

) is a Slovak computer scientist of Hungarian descent and a member of the

Faculty of Mathematics, Physics and Informatics The Faculty of Mathematics, Physics and Informatics (FMPH; sk, FMFI; sk, Fakulta matematiky, fyziky a informatiky; colloquial: ''Matfyz'') is one of 13 faculties of the Comenius University in Bratislava, the capital of Slovakia. The faculty prov ...

Comenius University Comenius University in Bratislava ( sk, Univerzita Komenského v Bratislave) is the largest university in Slovakia, with most of its faculties located in Bratislava. It was founded in 1919, shortly after the creation of Czechoslovakia. It is name ...

in Bratislava. His results on the closure of non-deterministic space under complement, independently obtained in 1987 also by Neil Immerman (the result known as the Immerman–Szelepcsényi theorem), brought the

Gödel Prize The Gödel Prize is an annual prize for outstanding papers in the area of theoretical computer science, given jointly by the European Association for Theoretical Computer Science (EATCS) and the Association for Computing Machinery Special Interes ...

of ACM and

EATCS The European Association for Theoretical Computer Science (EATCS) is an international organization with a European focus, founded in 1972. Its aim is to facilitate the exchange of ideas and results among theoretical computer scientists as well as ...

to both of them in 1995.Gödel Prize citation from ACM
/ref>

Scientific articles

* Róbert Szelepcsényi: The Method of Forced Enumeration for Nondeterministic Automata. ''

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 ...

'' 26(3): 279-284 (1988)

References

Slovak computer scientists Hungarian computer scientists 20th-century Hungarian mathematicians 21st-century Hungarian mathematicians Theoretical computer scientists Comenius University alumni Gödel Prize laureates Hungarians in Slovakia Slovak people of Hungarian descent Living people 1966 births {{compu-scientist-stub