róbert, szelepcsényi, slovak, pronunciation, ˈrɔːbert, ˈseleptʂeːɲi, born, august, 1966, Žilina, slovak, computer, scientist, hungarian, descent, member, faculty, mathematics, physics, informatics, comenius, university, bratislava, results, closure, determinis. Robert Szelepcsenyi Slovak pronunciation ˈrɔːbert ˈseleptʂeːɲi born 19 August 1966 Zilina 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 Szelepcsenyi theorem brought the Godel Prize of ACM and EATCS to both of them in 1995 2 Scientific articles editRobert Szelepcsenyi The Method of Forced Enumeration for Nondeterministic Automata Acta Informatica 26 3 279 284 1988 References edit Milan Strhan David Daniel eds Slovakia and the Slovaks A concise encyclopedia Encyclopedic Institute of the Slovak Academy of Sciences 1994 Godel Prize citation from ACM nbsp This Slovak biographical article is a stub You can help Wikipedia by expanding it vte P NP This biographical article relating to a computer scientist is a stub You can help Wikipedia by expanding it vte Retrieved from https en wikipedia org w index php title Robert Szelepcsenyi amp oldid 1063215228, wikipedia, wiki, book, books, library,