Születés |
1966. augusztus 19 Zsolna |
---|---|
Állampolgárság | szlovák |
Kiképzés |
Comenius University of Bratislava University of Chicago University of Rochester |
Tevékenységek | Matematikus , informatikus , mérnök |
Megkülönböztetés | Gödel-díj (1995) |
---|
Szelepcsényi Róbert , született 1966. augusztus 19A Zsolnai a Csehszlovákiában (ma Szlovákia ), a szlovák tudós a magyar származású .
Még a hallgató a Kar Matematika, fizika és számítástechnika a Comenius Egyetem a pozsonyi , azt bizonyította 1987-ben, és függetlenül Neil Immerman , amit ma már ismert, mint a Immerman-Szelepcsényi tétel . Ez az eredmény megszerezte nekik az ACM és az EATCS által közösen odaítélt 1995-ös Gödel- díjat .
A tétel szerint egy nem determinisztikus Turing-gép ugyanannyi tér felhasználásával képes megoldani egy probléma kiegészítését, mint a kezdeti probléma. Az idő összetettsége szempontjából ugyanez a kérdés még mindig nyitott (2010-ben), de általánosan elismert tény, hogy ilyen állítás ebben az esetben nem létezik.
1993-ban, Róbert Szelepcsényi szerzett Master of Science (MS) a University of Rochester . Egy ideig Ph.D.- n tanult a Chicagói Egyetemen . Ban ben1999. szeptember, a Szlovák Tudományos Akadémián van . Szelepcsényi utolsó tudományos cikke 1999-ben jelent meg.