Róbert Szelepcsényi
Vzhľad
Róbert Szelepcsényi | |
slovenský informatik maďarského pôvodu | |
Narodenie | 19. august 1966 (58 rokov) Žilina, ČSSR |
---|---|
Alma mater | Matematicko-fyzikálna fakulta Univerzity Komenského v Bratislave |
Rodičia | Ján Szelepcsényi |
RNDr. Róbert Szelepcsényi, CSc. (* 19. august 1966, Žilina)[1] je slovenský informatik maďarského pôvodu.[1]
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.[2] 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.[3]
Referencie
[upraviť | upraviť zdroj]- ↑ a b Autorita : Osobné meno : Szelepcsényi, Róbert [online]. Martin: Slovenská národná knižnica, [cit. 2022-10-29]. Dostupné online. Archivované 2022-10-18 z originálu.
- ↑ Róbert Szelepcsényi. In: Osoby, ktoré získali titul na UK [online]. Bratislava: Univerzita Komenského, [cit. 2022-02-04]. Dostupné online. [nefunkčný odkaz]
- ↑ Gödel Prize - 1995 [online]. European Association for Theoretical Computer Science, [cit. 2022-10-29]. Dostupné online.