Aniversário |
19 de agosto de 1966 Žilina |
---|---|
Nacionalidade | Eslovaco |
Treinamento |
Comenius University of Bratislava University of Chicago University of Rochester |
Atividades | Matemático , cientista da computação , engenheiro |
Distinção | Prêmio Gödel (1995) |
---|
Róbert Szelepcsényi , nascido em19 de agosto de 1966em Žilina, na Tchecoslováquia (hoje na Eslováquia ), é um cientista eslovaco de origem húngara .
Ainda aluno da Faculdade de Matemática, Física e Ciência da Computação da Universidade Comenius em Bratislava , ele demonstrou em 1987, e independentemente de Neil Immerman , o que hoje é conhecido como Teorema Immerman-Szelepcsényi . Esse resultado rendeu a eles o Prêmio Gödel de 1995 , concedido em conjunto pela ACM e pela EATCS .
O teorema diz que uma máquina de Turing não determinística pode resolver o complemento de um problema usando a mesma quantidade de espaço do problema inicial. Para a complexidade do tempo, a mesma questão ainda está em aberto (em 2010), mas é geralmente admitido que tal afirmação não existe neste caso.
Em 1993, Róbert Szelepcsényi obteve um Master of Science (MS) pela University of Rochester . Ele passou algum tempo estudando para um Ph.D. na Universidade de Chicago . DentroSetembro de 1999, ele está na Academia Eslovaca de Ciências . Um último artigo científico de Szelepcsényi apareceu em 1999.