Róbert Szelepcsényi

RNDr. Róbert Szelepcsényi, CSc. (* 19. august 1966, Žilina)[1] je slovenský informatik maďarského pôvodu.[1]

Róbert Szelepcsényi
slovenský informatik maďarského pôvodu
Narodenie19. august 1966 (57 rokov)
Žilina, ČSSR
Alma materMatematicko-fyzikálna fakulta Univerzity Komenského v Bratislave
RodičiaJán Szelepcsényi

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ť

  1. a b Autorita : Osobné meno : Szelepcsényi, Róbert [online]. Martin: Slovenská národná knižnica, [cit. 2022-10-29]. Dostupné online.
  2. 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]
  3. Gödel Prize - 1995 [online]. European Association for Theoretical Computer Science, [cit. 2022-10-29]. Dostupné online.