Róbert Szelepcsényi

z Wikipédie, slobodnej encyklopédie
Prejsť na: navigácia, hľadanie
Róbert Szelepcsényi
slovenský informatik
Narodenie 1967

RNDr. Róbert Szelepcsényi, CSc. (* 1967) je slovenský informatik. Je známy najmä vďaka svojmu výsledku v oblasti formálnych jazykov, dnes známemu ako Immermanova-Szelepcsényiho veta, ktorá hovorí, že trieda kontextových jazykov je uzavretá na komplement. Dôkaz objavil v roku 1987 ako študent Matematicko-fyzikálnej fakulty Univerzity Komenského v Bratislave. V tom istom roku, nezávisle od neho, prišiel k rovnakému výsledku aj americký informatik Neil Immerman. Obaja dostali v roku 1995 Gödelovu cenu.