Benjamin C. Pierce
बेंजामिन क्रॉफर्ड पियर्स पेनसिल्वेनिया विश्वविद्यालय में कंप्यूटर विज्ञान के हेनरी साल्वाटोरी प्रोफेसर हैं। पियर्स 1998 में इंडियाना विश्वविद्यालय से पेन में शामिल हुए और कैम्ब्रिज विश्वविद्यालय और एडिनबर्ग विश्वविद्यालय में शोध पदों पर रहे। उन्होंने 1991 में कार्नेगी मेलन विश्वविद्यालय से पीएचडी प्राप्त की। उनके शोध में प्रोग्रामिंग भाषाओं, स्थिर प्रकार प्रणालियों, वितरित प्रोग्रामिंग, मोबाइल एजेंटों, प्रक्रिया गणना और अंतर गोपनीयता पर काम शामिल है। अपने शोध के हिस्से के रूप में, पियर्स ने कई ओपन-सोर्स सॉफ्टवेयर परियोजनाओं पर विकास का नेतृत्व किया है, जिसमें यूनिसन फ़ाइल सिंक्रोनाइजेशन उपयोगिता भी शामिल है। 2012 में पियर्स "प्रोग्रामिंग भाषाओं के सिद्धांत और अभ्यास और उनकी प्रकार प्रणालियों में योगदान" के लिए एक एसीएम फेलो बन गए। 2015 में पियर्स और सह-लेखकों को प्रोग्रामिंग भाषाओं के सबसे प्रभावशाली सिद्धांतों के लिए पुरस्कार मिला, जिसे "प्रोग्रामिंग भाषा समुदाय के ध्यान में दृष्टिकोण-अद्यतन समस्या लाने और डेटाबेस से परे समस्या की व्यापक प्रासंगिकता का प्रदर्शन करने में सहायक" के रूप में वर्णित किया गया था। [.] अधिक व्यापक रूप से, पेपर ने बी. एक्स. ("द्विदिशात्मक परिवर्तन") के क्षेत्र में बहुत अधिक अनुवर्ती कार्य को जन्म दिया, जिससे डेटाबेस, प्रोग्रामिंग भाषाओं और सॉफ्टवेयर इंजीनियरिंग की दुनिया के बीच एक फलदायी सहयोग हुआ। वे टाइप सिस्टम, टाइप्स एंड प्रोग्रामिंग लैंग्वेजेज पर एक पुस्तक के लेखक हैं। उन्होंने प्रकार और प्रोग्रामिंग भाषाओं में उन्नत विषयों का दूसरा खंड बनाने के लिए लेखों के एक संग्रह का संपादन भी किया है। अपनी पी. एच. डी. के दौरान श्रेणी सिद्धांत सीखते समय उन्होंने जो नोट्स एकत्र किए, उनके आधार पर उन्होंने इस विषय पर एक परिचयात्मक पुस्तक भी प्रकाशित की-कंप्यूटर वैज्ञानिकों के लिए बुनियादी श्रेणी सिद्धांत। वह मुफ्त में उपलब्ध पुस्तक सॉफ्टवेयर फाउंडेशन के लेखकों में से एक हैं। यह भी देखें पी. ओ. पी. एल. मार्क चुनौती संदर्भ बाहरी लिंक प्रो. पियर्स का मुख पृष्ठ अमेरिकी कंप्यूटर वैज्ञानिक जीवित लोग प्रोग्रामिंग भाषा शोधकर्ता जन्म का वर्ष लापता (जीवित लोग) पेंसिल्वेनिया विश्वविद्यालय संकाय