Róbert Szelepcsényi

Róbert Szelepcsényi (Slovak pronunciation: [ˈɾɔːbɛɾt ˈsɛlɛptʃɛːɲi]; born 19 August 1966, Žilina[1]) 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 (the result known as the Immerman–Szelepcsényi theorem), brought the Gödel Prize of ACM and EATCS to both of them in 1995.[2]

Scientific articles
  • Róbert Szelepcsényi: The Method of Forced Enumeration for Nondeterministic Automata. Acta Informatica 26(3): 279-284 (1988)
gollark: What *sort* of books?
gollark: > And why are so many software date glitches on December 31st of 1969?That's when the unix epoch starts, so a date of "0" or something is interpreted as that.
gollark: Hmm, clearly my thing was scrolled up a lot.
gollark: > I was just bringing the point that people shouldn't be immortalThis is very uncool of you.
gollark: That looks like <#426116061415342080> material or possibly too bad for there as well.

References
  1. Milan Strhan, David Daniel (eds), Slovakia and the Slovaks – A concise encyclopedia, Encyclopedic Institute of the Slovak Academy of Sciences, 1994.
  2. Gödel Prize citation from ACM



This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.