Róbert Szelepcsényi

From Wikipedia, the free encyclopedia

Róbert Szelepcsényi (1967) (pronounced [ˈrɔːbert ˈseleptʃeːɲɪ]) was a Slovak student, 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.

[edit] Scientific articles

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

[edit] External links

• Gödel Prize citation from ACM

v • d • e Gödel Prize laureates Babai / Goldwasser / Micali / Moran / Rackoff (1993) · Håstad (1994) · Immerman / Szelepcsényi (1995) · Jerrum / Sinclair (1996) · Halpern / Moses (1997) · Toda (1998) · Shor (1999) · Vardi / Wolper (2000) · Arora / Feige / Goldwasser / Lund / Lovász / Motwani / Safra / Sudan / Szegedy (2001) · Sénizergues (2002) · Freund / Shapire (2003) · Herlihy / Saks / Shavit / Zaharoglou (2004) · Alon / Matias / Szegedy (2005) · Agrawal / Kayal / Saxena (2006) · Razborov / Rudich (2007)

This Slovak biographical article is a stub. You can help Wikipedia by expanding it.

This biographical article relating to a computer scientist is a stub. You can help Wikipedia by expanding it.

Categories: Slovak computer scientists | Theoretical computer scientists | Gödel Prize laureates | Hungarian scientists | Slovak people stubs | Computer scientist stubs

Views

• Article
• Discussion
• Current revision

Navigation

• Main Page
• Contents
• Featured content
• Current events

Interaction

• About Wikipedia
• Community portal
• Recent changes
• Contact Wikipedia
• Donate to Wikipedia
• Help

Search

• This page was last modified 14:00, 1 June 2008 by Wikipedia user Bhadani. Based on work by Wikipedia user(s) Hermel, Pa36opob, EmilJ, SparsityProblem, C5mjohn, Thomas.macmillan, Pegship, Pascal.Tesson, Brona, Juro, Tamas, Curpsbot-unicodify, Jogloran, Eecs574group6, Etacar11, BrainyBroad, CALR, Zoicon5, Jaberwocky6669 and Ondrejk and Anonymous user(s) of Wikipedia.
• All text is available under the terms of the GNU Free Documentation License. (See Copyrights for details.)
  Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc., a U.S. registered 501(c)(3) tax-deductible nonprofit charity.
  
• About Wikipedia
• Disclaimers

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -