Sanjeev Arora
Sanjeev Arora (s Tammikuu 1968 on Jodhpur , Intia ) on amerikkalainen tietojenkäsittelytieteessä ja intialaista alkuperää.
Elämä
Arora (joka oli paras Intiassa 1986 kansallisessa pääsykokeisiin varten Indian Institute of Technology ) opiskeli matematiikkaa ja tietotekniikkaa Massachusetts Institute of Technology (kandidaatti 1990) ja sai tohtorin vuonna 1994 Umesh Vazirani on University of California, Berkeley . Hän sai ACM: n tohtoriväitöskirjapalkinnon väitöskirjastaan ( Todennäköisyyksien todentaminen ja lähentämisongelmien kovuus ) probabilistisesti tarkistettavissa olevista todisteista (PCP) ja todisteista PCP-lauseesta . Vuonna 1994 hänestä tuli apulaisprofessori, 1999 apulaisprofessori ja 2003 tietojenkäsittelytieteen professori Princetonin yliopistossa . Hän vieraili tutkijana Microsoft Researchissa (2006/07) ja Weizmann-instituutissa .
Vuosina 1996-1998 hän oli Sloan-tutkija . Vuonna 2001 hän ja muut saivat Gödel-palkinnon PCP-lauseesta ja vuonna 2010 jälleen Joseph SB Mitchellin kanssa polynomi- aikalaskennasta matkustavan myyjän euklidiseen ongelmaan . Arora sai ACM Infosys palkinnon Association for Computing Machinery (ACM) 2011. Vuonna 2002 hänet kutsuttiin puhujaksi kansainvälisen kongressin Matematiikan vuonna Pekingissä (Miten NP saanut uuden määritelmän: tutkimus probabilistinen tarkistettavissa todisteita). Vuonna 2012 hänelle myönnettiin Fulkerson-palkinto , vuonna 2015 hänet valittiin Yhdysvaltain taide- ja tiedeakatemiaan ja vuonna 2018 kansalliseen tiedeakatemiaan . Vuonna 2018 hän on Rion ICM: n täysistuntopuhuja ( koneoppimisen matematiikka: Johdanto ).
Subhash Khot on yksi hänen jatko-opiskelijoistaan .
Fontit
- Boaz Barak: Laskennallinen monimutkaisuus , Cambridge University Press 2009
- Kanssa Shmuel Safra : Probabilistinen tarkastaminen todisteet: Uusi luonnehdinta NP , lehden ACM, Volume 45, 1998, s. 70-122
- Polynomiaikaiset lähentämisjärjestelmät Euclidean TSP: lle ja muille geometrisille ongelmille , Journal of the ACM, Volume 45, 1998, s. 753-782
- yhdessä C. Lundin, R. Motwanin, M. Sudanin, M. Szegedyn kanssa: Todistuksen todentaminen ja lähentämisongelmien kovuus , Journal of the ACM, Volume 45, 1998, s. 501-555
- Kuinka NP sai uuden määritelmän: tutkimus todennäköisesti tarkistettavista todisteista , ICM Beijing 2002, Arxiv
- S. Raon, U. Vaziranin kanssa: Laajennusvirrat, geometriset upotukset ja kaavioiden osiointi , Journal of the ACM (JACM), osa 56, 2009, s.5
- Prashant Doshin kanssa: Tutkimus käänteisvahvistuksen oppimisesta: haasteet, menetelmät ja edistyminen , Arxiv 2018
kirjallisuus
- Ryan O'Donnel, Venkatesan Guruswami: PCP-lauseen historia (PDF; 599 kt)
nettilinkit
- Verkkosivusto Princetonissa (englanti)
- Sanjeev Aroran videot Teknisen tietokirjaston AV-portaalista
Alaviitteet
- ↑ a b Hänen kotisivullaan olevien henkilötietojen tietojen mukaan http://www.cs.princeton.edu/~arora/bio.html
- ^ Princeton tietojenkäsittelytieteessä Sanjeev Arora kunnia läpimurtoja, jotka ovat Advanced Power of Computing on Association for Computing Machinery (acm.org); Haettu 29. maaliskuuta 2012
| henkilökohtaiset tiedot | |
|---|---|
| SUKUNIMI | Arora, Sanjeev |
| LYHYT KUVAUS | Amerikkalainen teoreettinen tietojenkäsittelijä |
| SYNTYMÄAIKA | Tammikuu 1968 |
| SYNTYMÄPAIKKA | Intia |