Fødsel |
19. august 1966 Žilina |
---|---|
Nasjonalitet | Slovakisk |
Opplæring |
Comenius University of Bratislava University of Chicago University of Rochester |
Aktiviteter | Matematiker , informatiker , ingeniør |
Forskjell | Gödel-prisen (1995) |
---|
Róbert Szelepcsényi , født den19. august 1966i Žilina i Tsjekkoslovakia (i dag i Slovakia ), er en slovakisk forsker av ungarsk opprinnelse .
Fortsatt student ved fakultet for matematikk, fysikk og datavitenskap ved Comenius University i Bratislava , demonstrerte han i 1987, og uavhengig av Neil Immerman , det som nå er kjent som Immerman-Szelepcsényi-teoremet . Dette resultatet tjent dem 1995 Gödel Prisen deles ut i fellesskap av ACM og EATCS .
Teoremet sier at en ikke-deterministisk Turing-maskin kan løse komplementet til et problem ved å bruke samme plass som for det opprinnelige problemet. For tidskompleksitet er det samme spørsmålet fremdeles åpent (i 2010), men det innrømmes generelt at en slik påstand ikke eksisterer i dette tilfellet.
I 1993 fikk Róbert Szelepcsényi en Master of Science ( University of Rochester) . Han brukte litt tid på å studere til en doktorgrad ved University of Chicago . ISeptember 1999, han er på det slovakiske vitenskapsakademiet . En siste vitenskapelige artikkel av Szelepcsényi dukket opp i 1999.