Róbert Szelepcsényi

Róbert Szelepcsényi

Róbert Szelepcsényi (1967) (pronounced|ˈrɔːbert ˈseleptʃeːɲɪ) was a Slovak student of Hungarian descent, member of the Faculty of Mathematics, Physics and Informatics of Comenius University in Bratislava.

His results on the closure of nondeterministic space under complement, independently obtained in 1987 also by Neil Immerman (the result known as the Immerman-Szelepcsényi theorem), brought the Gödel Prize of ACM and EATCS to both of them in 1995.

cientific articles

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

External links

* [http://sigact.acm.org/prizes/godel/1995.html Gödel Prize citation from ACM]


Wikimedia Foundation. 2010.

Поможем студентам написать доклад

Look at other dictionaries:

  • Róbert Szelepcsényi — (* 19. August 1966 in Zilina[1]) ist ein slowakischer Informatiker ungarischer Abstammung. Szelepcsenyi, der Sohn des Musikers Jan Szelepcsenyi (* 1937), bewies als Student an der Comenius Universität in Bratislava 1987[2] unabhängig von Neil… …   Deutsch Wikipedia

  • Róbert Szelepcsényi — (n. 1967) fue un estudiante eslovaco de descendencia 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. Sus resultados en la clausura de… …   Wikipedia Español

  • Immerman–Szelepcsényi theorem — The Immerman–Szelepcsényi Theorem was proven independently by Neil Immerman and Róbert Szelepcsényi in 1987, for which they shared the 1995 Gödel Prize. In its general form the theorem states that NSPACE = co NSPACE. In other words, if a… …   Wikipedia

  • Prix Gödel — Nommé en l honneur du logicien Kurt Gödel, le prix Gödel a été créé en 1992 par l European Association for Theoretical Computer Science (EATCS), l Association for Computing Machinery (ACM) et le groupe de l ACM sur l algorithmique et la théorie… …   Wikipédia en Français

  • Automate linéairement borné — En informatique théorique, et en particulier en théorie des automates, un automate linéairement borné (en anglais linear bounded automaton, abrégé en LBA) est une machine de Turing non déterministe assujettie à des restrictions dans son mode… …   Wikipédia en Français

  • List of multiple discoveries — Main article: Multiple discovery Copernicus …   Wikipedia

  • List of independent discoveries — Independent discoveries in science, termed multiples by Robert K. Merton, are instances in which similar discoveries are made by scientists working independently of each other. [http://books.google.com/books?vid=ISBN0226520714 id=eprv7hMdO IC… …   Wikipedia

  • Géraud Sénizergues — est professeur d informatique à l Université de Bordeaux et membre du Laboratoire bordelais de recherche en informatique. Récipiendaire du Prix Gödel en 2002 pour avoir démontré la décidabilité de l égalité des langages reconnus par des automates …   Wikipédia en Français

  • Johan Håstad — Johan Håstad, né en 1960, est un informaticien théorique suédois connu particulièrement pour son travail sur la complexité algorithmique. Il a reçu le Prix Gödel en 1994 et 2011 et le Doctoral Dissertation Award de l Association for Computing… …   Wikipédia en Français

  • László Lovász — (9 mars 1948, à Budapest ) est un mathématicien connu pour ses travaux en combinatoire et dans la théorie des graphes. Sommaire …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”