Róbert Szelepcsényi - Róbert Szelepcsényi

Róbert Szelepcsényi (Výslovnost slovenština:[ˈɾɔːbɛɾt ˈsɛlɛptʃɛːɲi]; narozen 19. srpna 1966, Žilina[1]) je Slovák počítačový vědec z maďarský sestup a člen Fakulta matematiky, fyziky a informatiky z Univerzita Komenského v Bratislava.

Jeho výsledky při uzavření nedeterministický prostor pod doplňkem, nezávisle získaný v roce 1987 také Neil Immerman (výsledek známý jako Immerman – Szelepcsényiho věta ), přinesl Gödelova cena z ACM a EATCS oběma v roce 1995.[2]

Vědecké články

  • Róbert Szelepcsényi: Metoda nuceného počítání nedeterministických automatů. Acta Informatica 26(3): 279-284 (1988)

Reference

  1. ^ Milan Strhan, David Daniel (eds), Slovensko a Slováci - stručná encyklopedie, Encyklopedický ústav Slovenské akademie věd, 1994.
  2. ^ Citace Gödelovy ceny ACM