Róbert Szelepcsényi

Róbert Szelepcsényi (n. 1967) fue un estudiante eslovaco de ascendencia húngara, miembro de la Facultad de Matemáticas, Física e Informática de la Universidad Comenius de Bratislava, ubicada en la capital eslovaca Bratislava.

Róbert Szelepcsényi
Información personal
Nacimiento 19 de agosto de 1966 Ver y modificar los datos en Wikidata (57 años)
Žilina (República Socialista de Checoslovaquia) Ver y modificar los datos en Wikidata
Nacionalidad Eslovaca
Educación
Educado en
Información profesional
Ocupación Matemático, informático teórico e ingeniero Ver y modificar los datos en Wikidata
Distinciones

Sus resultados en la clausura de espacio no determinista bajo complemento, también obtenido independientemente en 1987 por Neil Immerman (y conocido actualmente como el Teorema de Immerman–Szelepcsényi), les significó a ambos el Premio Gödel de la ACM y la EATCS en 1995.[1]

Artículos científicos editar

  • Róbert Szelepcsényi: The Method of Forced Enumeration for Nondeterministic Autómata. Acta Informatica 26(3): 279-284 (1988)

Referencias editar