लेस्ली वैलेंट

From alpha
Jump to navigation Jump to search

Leslie Valiant

Leslie Valiant (34913684313).jpg
Valiant in 2012
जन्म
Leslie Gabriel Valiant

(1949-03-28) 28 March 1949 (age 75)
राष्ट्रीयताBritish
अल्मा मेटर
के लिए जाना जाता है
पुरस्कार
Scientific career
खेतMathematics
Theoretical computer science
Computational learning theory
Theoretical neuroscience
संस्थानों
ThesisDecision Procedures for Families of Deterministic Pushdown Automata (1974)
Doctoral advisorMike Paterson[3]
डॉक्टरेट के छात्र
Websitepeople.seas.harvard.edu/~valiant

लेस्ली गेब्रियल वैलिएंट FRS[4][5] (जन्म 28 मार्च 1949) एक ब्रिटिश अमेरिकी हैं[6]कंप्यूटर वैज्ञानिक और कम्प्यूटेशनल सिद्धांतकार[7][8] उनका जन्म एक केमिकल इंजीनियर पिता और एक अनुवादक मां के घर हुआ था।[9] वह वर्तमान में हार्वर्ड विश्वविद्यालय में कंप्यूटर विज्ञान और अनुप्रयुक्त गणित के टी. जेफरसन कूलिज प्रोफेसर हैं।[10][11][12][13] वैलेंट को 2010 में ट्यूरिंग पुरस्कार से सम्मानित किया गया था, जिसका वर्णन एसोसिएशन फॉर कंप्यूटिंग मशीनरी|ए.सी.एम. द्वारा किया गया है। सैद्धांतिक कंप्यूटर विज्ञान में एक वीर व्यक्ति के रूप में और विज्ञान में सबसे गहरी अनसुलझी समस्याओं में से कुछ को संबोधित करने में उनके साहस और रचनात्मकता के लिए एक आदर्श मॉडल के रूप में; विशेष रूप से गहराई और चौड़ाई के उनके अद्भुत संयोजन के लिए।[6]


शिक्षा

वैलिएंट की शिक्षा किंग्स कॉलेज, कैम्ब्रिज में हुई,[14][6] इंपीरियल कॉलेज लंदन,[14][6]और वारविक विश्वविद्यालय जहां उन्होंने 1974 में कंप्यूटर विज्ञान में पीएचडी प्राप्त की।[15][3]


अनुसंधान और कैरियर

वैलेंट सैद्धांतिक कंप्यूटर विज्ञान में अपने काम के लिए विश्व प्रसिद्ध हैं। कम्प्यूटेशनल जटिलता सिद्धांत में उनके कई योगदानों में से, उन्होंने यह समझाने के लिए शार्प-पी-पूर्ण|#पी-पूर्णता (तीव्र-पी पूर्णता) की धारणा पेश की कि गणना और विश्वसनीयता की समस्याएं कठिन क्यों हैं। उन्होंने सीखने का संभवतः अनुमानित रूप से सही या पीएसी मॉडल बनाया जिसने कम्प्यूटेशनल लर्निंग सिद्धांत के क्षेत्र को पेश किया और यंत्र अधिगम के विकास के लिए एक सैद्धांतिक आधार बन गया। उन्होंने क्वांटम गणना मॉडल से प्रेरित होलोग्राफिक एल्गोरिदम की अवधारणा भी पेश की। कंप्यूटर सिस्टम में, वह थोक तुल्यकालिक समानांतर प्रोसेसिंग मॉडल पेश करने के लिए सबसे प्रसिद्ध हैं। एकल कंप्यूटर आर्किटेक्चर के लिए वॉन न्यूमैन मॉडल के अनुरूप, बीएसपी समानांतर और वितरित कंप्यूटिंग आर्किटेक्चर के लिए एक प्रभावशाली मॉडल रहा है। हाल के उदाहरण हैं कि Google ने इसे MapReduce, millWheel के माध्यम से बड़े पैमाने पर गणना के लिए अपनाया है।[16] प्रीगेल[17] और Google क्लाउड डेटाफ़्लो, और Facebook एक ग्राफ़ एनालिटिक्स सिस्टम बना रहा है जो 1 ट्रिलियन से अधिक किनारों को संसाधित करने में सक्षम है।[18][19] स्पष्ट बीएसपी प्रोग्रामिंग के साथ-साथ बीएसपी से प्राप्त अन्य उच्च-प्रदर्शन समानांतर प्रोग्रामिंग मॉडल को जोड़ने के लिए सक्रिय ओपन-सोर्स परियोजनाएं भी मौजूद हैं। लोकप्रिय उदाहरण अपाचे Hadoop, अपाचे स्पार्क, अपाचे गिरफ, अपाचे हामा, अपाचे बीम और डस्क_(सॉफ्टवेयर) हैं। ऑटोमेटा सिद्धांत में उनके पहले के काम में संदर्भ-मुक्त पार्सिंग के लिए एक CYK एल्गोरिदम#वैलिएंट्स एल्गोरिदम|एल्गोरिदम शामिल है, जो अभी भी स्पर्शोन्मुख रूप से सबसे तेज़ ज्ञात है। वह स्मृति और सीखने को समझने पर ध्यान केंद्रित करते हुए कम्प्यूटेशनल तंत्रिका विज्ञान में भी काम करते हैं।

वैलेंट की 2013 की किताब संभवतः लगभग सही शिक्षा है|संभवतः लगभग सही: एक जटिल दुनिया में सीखने और समृद्ध होने के लिए प्रकृति के एल्गोरिदम।[20] इसमें वह तर्क देते हैं, अन्य बातों के अलावा, कि विकासवादी जीव विज्ञान उस दर की व्याख्या नहीं करता है जिस पर विकास होता है, उदाहरण के लिए, लिखते हुए, विकास के लिए डार्विन की सामान्य स्कीम के अनिवार्य रूप से सही होने का प्रमाण अधिकांश जीवविज्ञानियों को आश्वस्त करता है। यह लेखक स्वयं आश्वस्त होने के लिए पर्याप्त प्राकृतिक इतिहास संग्रहालयों का दौरा कर चुका है। हालाँकि, इन सबका मतलब यह नहीं है कि विकास का वर्तमान सिद्धांत पर्याप्त रूप से व्याख्यात्मक है। वर्तमान में विकास का सिद्धांत उस दर का कोई हिसाब नहीं दे सकता है जिस दर पर जटिल तंत्र विकसित करने या बदलते परिवेश में उन्हें बनाए रखने के लिए विकास आगे बढ़ता है।

वैलेंट ने 1982 में हार्वर्ड विश्वविद्यालय में पढ़ाना शुरू किया और वर्तमान में हार्वर्ड स्कूल ऑफ इंजीनियरिंग एंड एप्लाइड साइंसेज में कंप्यूटर साइंस और एप्लाइड गणित के टी. जेफरसन कूलिज प्रोफेसर हैं। 1982 से पहले उन्होंने कार्नेगी मेलन विश्वविद्यालय, लीड्स विश्वविद्यालय और एडिनबर्ग विश्वविद्यालय में पढ़ाया था।

पुरस्कार एवं सम्मान

वैलेंट को 1986 में नेवानलिन्ना पुरस्कार, 1997 में नथ पुरस्कार, 2008 में ईएटीसीएस पुरस्कार प्राप्त हुआ।[21] और 2010 में ट्यूरिंग अवार्ड।[22][23] उन्हें 1991 में रॉयल सोसाइटी का फेलो|रॉयल सोसाइटी (एफआरएस) का फेलो चुना गया था।[4]1992 में आर्टिफिशियल इंटेलिजेंस की उन्नति के लिए एसोसिएशन|एसोसिएशन फॉर द एडवांसमेंट ऑफ आर्टिफिशियल इंटेलिजेंस (एएएआई) के फेलो,[24] और 2001 में यूनाइटेड स्टेट्स नेशनल एकेडमी ऑफ साइंसेज के सदस्य।[25] रॉयल सोसाइटी के लिए वैलेंट का नामांकन पढ़ता है:

Leslie Valiant has contributed in a decisive way to the growth of theoretical computer science. His work is concerned mainly with quantifying mathematically the resource costs of solving problems on a computer. In early work (1975), he found the asymptotically fastest algorithm known for recognising context-free languages. At the same time, he pioneered the use of communication properties of graphs for analysing computations. In 1977, he defined the notion of ‘sharp-P’ (#P)-completeness and established its utility in classifying counting or enumeration problems according to computational tractability. The first application was to counting matchings (the matrix permanent function). In 1984, Leslie introduced a definition of inductive learning that, for the first time, reconciles computational feasibility with the applicability to nontrivial classes of logical rules to be learned. This notion, later called ‘probably approximately correct learning’, became a theoretical basis for the development of machine learning. In 1989, he formulated the concept of bulk synchronous computation as a unifying principle for parallel computation. Leslie received the Nevanlinna Prize in 1986, and the Turing Award in 2010.[26]

उनके ए.एम. के लिए प्रशस्ति पत्र ट्यूरिंग अवार्ड पढ़ता है:

For transformative contributions to the theory of computation, including the theory of probably approximately correct (PAC) learning, the complexity of enumeration and of algebraic computation, and the theory of parallel and distributed computing.[6]

निजी जीवन

उनके दो बेटे ग्रेगरी वैलेंट[27] और पॉल वैलेंट[28] दोनों सैद्धांतिक कंप्यूटर वैज्ञानिक भी हैं।[8]


संदर्भ

  1. Valiant, L.; Vazirani, V. (1986). "NP is as easy as detecting unique solutions" (PDF). Theoretical Computer Science. 47: 85–93. doi:10.1016/0304-3975(86)90135-0.
  2. Valiant, L. G. (1979). "The Complexity of Enumeration and Reliability Problems". SIAM Journal on Computing. 8 (3): 410–421. doi:10.1137/0208032.
  3. 3.0 3.1 3.2 लेस्ली वैलेंट at the Mathematics Genealogy Project
  4. 4.0 4.1 "लेस्ली वैलेंट एफआरएस". London: Royal Society. 1991.
  5. DServe Archive Catalog Show
  6. 6.0 6.1 6.2 6.3 6.4 "लेस्ली जी वैलेंट - ए.एम. ट्यूरिंग पुरस्कार विजेता". A.M. Turing Award. Retrieved 9 January 2019.
  7. Hoffmann, L. (2011). "Q&A: Leslie Valiant discusses machine learning, parallel computing, and computational neuroscience". Communications of the ACM. 54 (6): 128. doi:10.1145/1953122.1953152.
  8. 8.0 8.1 Anon (2017). https://www.ukwhoswho.com/view/article/oupww/whoswho/U40928. Who's Who. ukwhoswho.com (online Oxford University Press ed.). A & C Black, an imprint of Bloomsbury Publishing plc. doi:10.1093/ww/9780199540884.013.U40928. {{cite book}}: |chapter-url= missing title (help) (Subscription or UK public library membership required.)
  9. "लेस्ली गेब्रियल वैलेंट के साथ ए. एम. ट्यूरिंग पुरस्कार मौखिक इतिहास साक्षात्कार" (PDF).
  10. लेस्ली वैलेंट author profile page at the ACM Digital Library
  11. Wigderson, A. (2009). "The work of Leslie Valiant". Proceedings of the 41st annual ACM symposium on Symposium on theory of computing - STOC '09. pp. 1–2. doi:10.1145/1536414.1536415. ISBN 9781605585062. S2CID 15370663.
  12. {{DBLP}} template missing ID and not present in Wikidata.
  13. Valiant, Leslie (1984). "सीखने वालों का एक सिद्धांत" (PDF). Communications of the ACM. 27 (11): 1134–1142. doi:10.1145/1968.1972. S2CID 12837541.
  14. 14.0 14.1 "लेस्ली जी वैलेंट का सीवी" (PDF). Harvard University. Retrieved 9 January 2019.
  15. Valiant, Leslie (1973). नियतात्मक पुशडाउन ऑटोमेटा के परिवारों के लिए निर्णय प्रक्रियाएँ. warwick.ac.uk (PhD thesis). University of Warwick. OCLC 726087468. EThOS uk.bl.ethos.475930.
  16. MillWheel: Fault-Tolerant Stream Processing at Internet Scale
  17. Pregel: a system for large-scale graph processing
  18. A comparison of state-of-the-art graph processing systems.
  19. One Trillion Edges: Graph Processing at Facebook-Scale
  20. https://www.hachettebookgroup.com/titles/leslie-valiant/probably-approximately-correct/9780465037902/?lens=basic-books, ISBN 9780465032716
  21. David Peleg The EATCS Award 2008 – Laudatio for Professor Leslie Valiant European Association of Theoretical Computer Science.
  22. Josh Fishman "‘Probably Approximately Correct’ Inventor, From Harvard U., Wins Turing Award" Chronicle of Higher Education 9 March 2011.
  23. ACM Turing Award Goes to Innovator in Machine Learning ACM Computing News
  24. Elected AAAI Fellows Association for the Advancement of Artificial Intelligence.
  25. Member Directory: Leslie G. Valiant National Academy of Sciences.
  26. https://royalsociety.org/people/leslie-valiant-12451/ Royal Society biography
  27. Gregory Valiant Homepage
  28. Paul Valiant's homepage


बाहरी संबंध

 This article incorporates text available under the CC BY 4.0 license.