फिलिप वाडलर
Phil Wadler | |
---|---|
जन्म | Philip Lee Wadler April 8, 1956 |
अल्मा मेटर |
|
पुरस्कार |
|
Scientific career | |
खेत | Programming languages[3] |
संस्थानों | |
Thesis | Listlessness is Better than Laziness: An Algorithm that Transforms Applicative Programs to Eliminate Intermediate Lists (1984) |
Doctoral advisor | Nico Habermann[4] |
Website |
फिलिप ली वाडलर (जन्म 8 अप्रैल, 1956) एक अमेरिकी कंप्यूटर वैज्ञानिक हैं, जिन्हें प्रोग्रामिंग भाषा डिजाइन और प्रकार सिद्धांत में उनके योगदान के लिए जाना जाता है। वह स्कूल ऑफ इंफॉर्मेटिक्स, एडिनबर्ग विश्वविद्यालय में कंप्यूटर विज्ञान की नींव के लिए प्रयोगशाला में सैद्धांतिक कंप्यूटर विज्ञान के अध्यक्ष हैं। उन्होंने कार्यात्मक प्रोग्रामिंग के पीछे के सिद्धांत में योगदान दिया है[5] और कार्यात्मक प्रोग्रामिंग में मठों का उपयोग, विशुद्ध रूप से कार्यात्मक भाषा हास्केल (प्रोग्रामिंग भाषा) का डिज़ाइन,[6] और XQuery घोषणात्मक क्वेरी भाषा। 1984 में उन्होंने ऑरवेल (प्रोग्रामिंग लैंग्वेज) बनाई। वाडलर जावा (प्रोग्रामिंग भाषा) 5.0 में सामान्य प्रोग्रामिंग प्रकारों को जोड़ने में शामिल था।Cite error: Invalid <ref>
tag; invalid names, e.g. too many वे मुफ्त में प्रमेय पेपर के लेखक भी हैं! रेफरी नाम = मुक्त>Wadler, P. (1989). "Theorems for free!". फंक्शनल प्रोग्रामिंग लैंग्वेज और कंप्यूटर आर्किटेक्चर पर चौथे अंतर्राष्ट्रीय सम्मेलन की कार्यवाही - FPCA '89. p. 347. doi:10.1145/99370.99404. ISBN 978-0897913287. S2CID 5513047.</रेफरी> जिसने कार्यात्मक भाषा अनुकूलन पर बहुत अधिक शोध को जन्म दिया (पैरामीट्रिकिटी भी देखें)।
शिक्षा
वाडलर ने 1977 में स्टैनफोर्ड विश्वविद्यालय से गणित में विज्ञान स्नातक की डिग्री और 1979 में करनेगी मेलों विश्वविद्याल से कंप्यूटर साइंस में विज्ञान के मास्टर की डिग्री प्राप्त की।[7] उन्होंने 1984 में कार्नेगी मेलन विश्वविद्यालय में कंप्यूटर साइंस में डॉक्टर ऑफ फिलॉसफी पूरी की। उनकी थीसिस लिस्टलेसनेस इज़ बेटर देन लेज़ीनेस थी और इसकी देखरेख निको हैबरमैन ने की थी।[8][4]
अनुसंधान और कैरियर
वाडलर के अनुसंधान हित[9][3][10] प्रोग्रामिंग भाषा ओं में हैं। <रेफरी नाम = वाडलर, फिलिप; नफ्तालिन, मौरिस 2007 />[11] वाडलर 1983-87 के दौरान प्रोग्रामिंग रिसर्च ग्रुप (कंप्यूटर विज्ञान के ऑक्सफोर्ड विश्वविद्यालय विभाग का हिस्सा) और सेंट क्रॉस कॉलेज, ऑक्सफोर्ड में रिसर्च फैलो थे।[7]वह 1987 से 1996 तक ग्लासगो विश्वविद्यालय में उत्तरोत्तर व्याख्याता, पाठक और प्रोफेसर थे। वाडलर बेल लैब्स , ल्यूसेंट टेक्नोलॉजीज (1996-99) और फिर अवाया लैब्स (1999-2003) में तकनीकी कर्मचारियों के सदस्य थे। 2003 से, वह एडिनबर्ग विश्वविद्यालय में स्कूल ऑफ इंफॉर्मेटिक्स में सैद्धांतिक कंप्यूटर विज्ञान के प्रोफेसर रहे हैं।[12] वाडलर 1990 से 2004 तक जर्नल ऑफ फंक्शनल प्रोग्रामिंग के संपादक थे। वाडलर वर्तमान में[when?] वेब अनुप्रयोग लिखने के लिए डिज़ाइन की गई एक नई कार्यात्मक भाषा पर काम करना, जिसे लिंक कहा जाता है।[13][14] उन्होंने कई डॉक्टरेट छात्रों को पूरा करने के लिए पर्यवेक्षण किया है।[4][15][16][17] 2003 से, वाडलर एडिनबर्ग विश्वविद्यालय में कंप्यूटर विज्ञान की नींव के लिए प्रयोगशाला में सैद्धांतिक कंप्यूटर विज्ञान के प्रोफेसर रहे हैं और सैद्धांतिक कंप्यूटर विज्ञान के अध्यक्ष हैं।[18] वह विश्वविद्यालय की ब्लॉकचेन प्रौद्योगिकी प्रयोगशाला के सदस्य भी हैं।[19][20] उनका Google विद्वान पर 26,874 उद्धरणों के साथ 72 का एच-इंडेक्स है।[21] दिसंबर 2018 तक, वाडलर कार्डानो (ब्लॉकचैन प्लेटफॉर्म) विकसित करने वाली ब्लॉकचैन इंजीनियरिंग कंपनी IOHK में प्रोग्रामिंग भाषाओं के क्षेत्र में अग्रणी था।[22]
पुरस्कार और सम्मान
वाडलर को 2003 में साइमन पीटन जोन्स के साथ संयुक्त रूप से 1993 पीओपीएल संगोष्ठी पेपर इंपीरेटिव फंक्शनल प्रोग्रामिंग के लिए सबसे प्रभावशाली पीओपीएल पेपर अवार्ड मिला।[7][23] 2005 में, उन्हें एडिनबर्ग की रॉयल सोसाइटी का फेलो चुना गया।[1]2007 में, उन्हें संगणक तंत्र संस्था (ACM) द्वारा ACM फेलो के रूप में शामिल किया गया था।[2]
संदर्भ
- ↑ 1.0 1.1 Royal Society of Edinburgh profile
- ↑ 2.0 2.1 ACM fellowship award page
- ↑ 3.0 3.1 {{Google Scholar ID}} template missing ID and not present in Wikidata.
- ↑ 4.0 4.1 4.2 फिलिप वाडलर at the Mathematics Genealogy Project
- ↑ "फिलिप वाडलर: जीवनी". O'Reilly Media. Retrieved March 20, 2017.
- ↑ Hudak, P.; Johnsson, T.; Kieburtz, D.; Nikhil, R.; Partain, W.; Peterson, J.; Peyton Jones, S.; Wadler, P.; Boutel, B.; Fairbairn, J.; Fasel, J.; Guzmán, M. A. M.; Hammond, K.; Hughes, J. (1992). "प्रोग्रामिंग भाषा हास्केल पर रिपोर्ट करें". ACM SIGPLAN Notices. 27 (5): 1. doi:10.1145/130697.130699. S2CID 15516611.
- ↑ 7.0 7.1 7.2 "फिलिप वाडलर: सीवी" (PDF). Homepages.inf.ed.ac.uk. Retrieved March 20, 2017.
- ↑ Wadler, Philip Lee (1984). सुस्ती आलस्य से बेहतर है: एक एल्गोरिथम जो इंटरमीडिएट सूचियों को खत्म करने के लिए लागू कार्यक्रमों को बदल देता है (PhD thesis). Carnegie Mellon University. OCLC 123317612. ProQuest 303342238. (subscription required)
- ↑ {{DBLP}} template missing ID and not present in Wikidata.
- ↑ फिलिप वाडलर's publications indexed by the Scopus bibliographic database. (subscription required)
- ↑ Bird, Richard Miller; Wadler, Philip (1998). हास्केल का उपयोग करके कार्यात्मक प्रोग्रामिंग का परिचय. New York: Prentice Hall Europe. ISBN 978-0-13-484346-9.
- ↑ "फिलिप वाडलर". Inf.ed.ac.uk. Retrieved March 20, 2017.
- ↑ "लिंक". Archived from the original on June 17, 2006. Retrieved June 22, 2006.
- ↑ "लिंक लैंग के लिए आधिकारिक वेबसाइट".
- ↑ Hutchins, DeLesley (2009). प्योर सबटाइप सिस्टम: एक्सटेंसिबल सॉफ्टवेयर के लिए एक टाइप थ्योरी. ethos.bl.uk (PhD thesis). University of Edinburgh. hdl:1842/3937. OCLC 781103005.
- ↑ Lester, David. (1988). कॉम्बिनेटर ग्राफ कमी: एक सर्वांगसमता और इसके अनुप्रयोग. bodleian.ox.ac.uk (DPhil thesis). University of Oxford. ISBN 9780902928558. OCLC 937098100.
- ↑ Yallop, Jeremy (2010). वेब प्रोग्रामिंग के लिए अमूर्त. ethos.bl.uk (PhD thesis). University of Edinburgh. hdl:1842/4683. OCLC 827264319.
- ↑ "फिलिप वाडलर". inf.ed.ac.uk. the University of Edinburgh. n.d. Retrieved February 5, 2019.
- ↑ "ब्लॉकचेन टेक्नोलॉजी लैब से जुड़े लोगों की सूची।". ed.ac.uk. the University of Edinburgh. December 14, 2018. Retrieved February 5, 2019.
- ↑ Wadler, Philip (n.d.). "फिलिप वाडलर का होम पेज". homepages.inf.ed.ac.uk. home pages. Retrieved February 5, 2019.
- ↑ "फिलिप वाडलर". scholar.google.co.uk. Google Scholar. n.d. Retrieved February 5, 2019.
- ↑ Wall, Jeremy (December 12, 2018). "IOHK ने स्मार्ट कॉन्ट्रैक्ट डेवलपमेंट के लिए 2 नए टूल लॉन्च किए". Invest in Blockchain. Retrieved March 25, 2020.
- ↑ Peyton Jones, S. L.; Wadler, P. (1993). "Imperative functional programming". प्रोग्रामिंग भाषाओं के सिद्धांतों पर 20वें ACM SIGPLAN-SIGACT संगोष्ठी की कार्यवाही - POPL '93. p. 71. CiteSeerX 10.1.1.53.2504. doi:10.1145/158511.158524. ISBN 978-0897915601. S2CID 9751593.
इस पेज में लापता आंतरिक लिंक की सूची
- कार्यात्मक प्रोग्रामिंग में मोनैड
- ऑरवेल (प्रोग्रामिंग भाषा)
- अंक शास्त्र
- गूगल शास्त्री
- कार्डानो (ब्लॉकचेन प्लेटफॉर्म)
- एडिनबर्ग की रॉयल सोसाइटी के फेलो
- एसीएम साथी
बाहरी कड़ियाँ
- "Professor Philip Wadler: Functional Programming In Finance" on YouTube
- Media related to फिलिप वाडलर at Wikimedia Commons
श्रेणी: 1956 जन्म श्रेणी: जीवित लोग श्रेणी: स्टैनफोर्ड विश्वविद्यालय के पूर्व छात्र श्रेणी: कार्नेगी मेलन विश्वविद्यालय के पूर्व छात्र श्रेणी: अमेरिकी कंप्यूटर वैज्ञानिक श्रेणी:ब्रिटिश कंप्यूटर वैज्ञानिक श्रेणी: कंप्यूटर विज्ञान विभाग के सदस्य, ऑक्सफोर्ड विश्वविद्यालय श्रेणी: सेंट क्रॉस कॉलेज, ऑक्सफोर्ड के अध्येता श्रेणी: ग्लासगो विश्वविद्यालय के शिक्षाविद श्रेणी:बेल लैब्स के वैज्ञानिक श्रेणी: एडिनबर्ग विश्वविद्यालय के शिक्षाविद श्रेणी: कार्यात्मक प्रोग्रामिंग श्रेणी: प्रोग्रामिंग भाषा शोधकर्ता श्रेणी:औपचारिक तरीके लोग श्रेणी: अकादमिक पत्रिका के संपादक श्रेणी: कंप्यूटर विज्ञान लेखक श्रेणी: अमेरिकी पाठ्यपुस्तक लेखक श्रेणी: अमेरिकी पुरुष गैर-फिक्शन लेखक श्रेणी: एडिनबर्ग की रॉयल सोसाइटी के अध्येता श्रेणी: कम्प्यूटिंग मशीनरी एसोसिएशन के अध्येता श्रेणी: यूनाइटेड किंगडम में अमेरिकी प्रवासी श्रेणी: कार्डानो से जुड़े लोग