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 maďarskej národnosti. 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 na ňom, prišiel k rovnakému výsledku aj americký informatik Neil Immerman. Obaja dostali v roku 1995 Gödelovu cenu.