Róbert Szelepcsényi

Róbert Szelepcsényi Biografi
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
Annen informasjon
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 .

Biografi

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.

Merknader og referanser

  1. Fra Milan Strhan og David P. Daniel , Slovakia og slovakkene: A Concise Encyclopedia , Bratislava, Encyclopedical Institute of the Slovak Academy of Sciences,1994( ISBN  9788085584110 , leses online ) , s.  637, han er muligens sønn av komponisten Jan Szelepcsényi (sitert av IMDB) født den5. oktober 1937i Žilina .
  2. Róbert Szelepcsényi, “The Method of Forced Enumeration for Nondeterministic Automata”. Acta Informatica vol. 26, n o  3, 1988 sider 279-284. En forhåndsutgivelse med samme tittel vises i Bulletin de l'EATCS , 1887.
  3. Sitering av Gödel-prisen 1995 på ACM .
  4. University of Rochester studenter "Archived copy" (versjon 4. januar 2013 på Internet Archive ) .
  5. Liste over tidligere studenter i teorigruppen

Oversettelse kilde

(de) Denne artikkelen er delvis eller helt hentet fra Wikipedia-artikkelen på tysk med tittelen “  Róbert Szelepcsényi  ” ( se forfatterliste ) .

Eksterne linker