Роберт Селепченый
Роберт Селепчени (англ. Словацкое произношение: [ˈrɔːbert ˈseleptʂeːɲi] ; родился 19 августа 1966 г., Жилина [ 1 ] ) — словацкий ученый-компьютерщик венгерского происхождения и преподаватель факультета математики, физики и информатики Университета Коменского в Братиславе .
Его результаты о замыкании недетерминированного пространства при дополнении, независимо полученные в 1987 году Нилом Иммерманом (результат, известный как теорема Иммермана-Селепшени ), принесли премию Гёделя от ACM и EATCS в 1995 году. им обоим [ 2 ]
Научные статьи
[ редактировать ]- Роберт Селепчени: Метод принудительного перебора недетерминированных автоматов. Acta Informatica 26(3): 279-284 (1988).
Ссылки
[ редактировать ]- ^ Милан Стран, Дэвид Даниэль (редакторы), Словакия и словаки - краткая энциклопедия , Энциклопедический институт Словацкой академии наук, 1994.
- ^ Цитата о премии Гёделя от ACM
 | Эта словацкая биографическая статья незавершена . Вы можете помочь Википедии, расширив ее . |
Категории :
- Словацкие ученые-компьютерщики
- Венгерские ученые-компьютерщики
- Венгерские математики XX века
- Венгерские математики XXI века
- Теоретики-компьютерщики
- Выпускники Университета Коменского
- Лауреаты премии Гёделя
- Венгры в Словакии
- Словацкий народ венгерского происхождения
- Живые люди
- 1966 года рождения
- Словацкие люди незавершенные
- Незавершённые статьи по компьютерным наукам