Róbert Szelepcsényi (; born 19 August 1966,
Žilina) 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 pro ...
of
Comenius University in
Bratislava
Bratislava (, also ; ; german: Preßburg/Pressburg ; hu, Pozsony) is the Capital city, capital and largest city of Slovakia. Officially, the population of the city is about 475,000; however, it is estimated to be more than 660,000 — approxim ...
.
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
In computational complexity theory, the Immerman–Szelepcsényi theorem states that nondeterministic space complexity classes are closed under complementation. It was proven independently by Neil Immerman and Róbert Szelepcsényi in 1987, for wh ...
), brought the
Gödel Prize of
ACM
ACM or A.C.M. may refer to:
Aviation
* AGM-129 ACM, 1990–2012 USAF cruise missile
* Air chief marshal
* Air combat manoeuvring or dogfighting
* Air cycle machine
* Arica Airport (Colombia) (IATA: ACM), in Arica, Amazonas, Colombia
Computing
* ...
and
EATCS 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'' 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