Róbert Szelepcsényi

z Wikipédie, slobodnej encyklopédie
Skočit na navigaci Skočit na vyhledávání
Róbert Szelepcsényi
slovenský informatik
Narodenie1967

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.