Róbert Szelepcsényi ( pronunciación eslovaca: [ˈrɔːbert ˈseleptʂeːɲi] ; nacido el 19 de agosto de 1966 en Žilina [1] ) es un informático eslovaco de ascendencia húngara y miembro de la Facultad de Matemáticas, Física e Informática de la Universidad Comenius de Bratislava .
Sus resultados sobre el cierre del espacio no determinista bajo complemento, obtenidos de forma independiente también en 1987 por Neil Immerman (resultado conocido como teorema de Immerman-Szelepcsényi ), les valieron a ambos el Premio Gödel de ACM y EATCS en 1995. [2 ]