เบนจามิน ซี. เพียร์ซ
Pierce ในงานประชุมMathematical Foundations of Programming Semanticsครั้งที่ 24 (ฟิลาเดลเฟีย พฤษภาคม 2551)
อัลมา มัธยฐาน	มหาวิทยาลัยคาร์เนกีเมลลอน
เป็นที่รู้จักในด้าน	ประเภทและภาษาโปรแกรม
เส้นทางอาชีพด้านวิทยาศาสตร์
วิทยานิพนธ์	การเขียนโปรแกรมด้วยประเภทจุดตัดและโพลีมอร์ฟิซึมแบบจำกัด (1991)
อาจารย์ที่ปรึกษาปริญญาเอก	โรเบิร์ต ฮาร์เปอร์จอห์น ซี. เรย์โนลด์ส

เบนจามิน ครอว์ฟอร์ด เพียร์ซเป็นศาสตราจารย์เฮนรี ซัลวาตอรี^{[ 1 ]}ด้านวิทยาการคอมพิวเตอร์ที่มหาวิทยาลัยเพนซิลเวเนียเพียร์ซเข้าร่วมเพนน์ในปี 1998 จากมหาวิทยาลัยอินเดียนาและดำรงตำแหน่งวิจัยที่มหาวิทยาลัยเคมบริดจ์และมหาวิทยาลัยเอดินบะระเขาได้รับปริญญาเอกจากมหาวิทยาลัยคาร์เนกีเมลลอนในปี 1991 งานวิจัยของเขารวมถึงงานเกี่ยวกับภาษาโปรแกรมระบบประเภทคงที่การเขียนโปรแกรมแบบกระจาย เอเจนต์เคลื่อนที่แคลคูลัสกระบวนการและความเป็นส่วนตัวแบบดิฟเฟอเรนเชียล

ในฐานะส่วนหนึ่งของการวิจัยของเขา เพียร์ซได้เป็นผู้นำในการพัฒนาโครงการ ซอฟต์แวร์โอเพนซอร์สหลาย โครงการ รวมถึง ยูทิลิตี้ การซิง โครไนซ์ไฟล์ Unison ด้วย

ในปี 2012 Pierce ได้รับรางวัลACM Fellow ^{[ 2 ]}จาก "การมีส่วนร่วมในทฤษฎีและการปฏิบัติของภาษาโปรแกรมและระบบประเภท" ในปี 2015 Pierce และผู้เขียนร่วมได้รับรางวัลสำหรับบทความPrinciples of Programming Languages ​​ที่มีอิทธิพลมากที่สุด ^{[ 3 ]}ซึ่งได้รับการอธิบายว่า "มีบทบาทสำคัญในการนำปัญหา view-update มาสู่ความสนใจของชุมชนภาษาโปรแกรมและแสดงให้เห็นถึงความเกี่ยวข้องอย่างกว้างขวางของปัญหาที่นอกเหนือจากฐานข้อมูล [...] ในวงกว้าง บทความนี้ได้จุดประกายงานติดตามจำนวนมากในด้าน BX (" การแปลงแบบสองทิศทาง ") ซึ่งนำไปสู่ความร่วมมือที่ประสบผลสำเร็จระหว่างโลกของฐานข้อมูล ภาษาโปรแกรม และวิศวกรรมซอฟต์แวร์ "

เขาเป็นผู้เขียนหนังสือหนึ่งเล่มเกี่ยวกับระบบประเภทข้อมูล ชื่อ Types and Programming Languages ​​ISBN 0-262-16209-1นอกจากนี้ เขายังได้เรียบเรียงบทความต่างๆ เพื่อจัดทำเป็นเล่มที่สอง ชื่อAdvanced Topics in Types and Programming Languages ​​ISBN 0-262-16228-8จากบันทึกที่เขารวบรวมไว้ขณะเรียนทฤษฎีหมวดหมู่ในระหว่างทำปริญญาเอก เขาได้ตีพิมพ์หนังสือแนะนำเกี่ยวกับหัวข้อนี้ด้วย ชื่อว่าBasic Category Theory for Computer Scientists ( ISBN ) 0-262-66071-7เขาเป็นหนึ่งในผู้เขียนหนังสือ " พื้นฐานซอฟต์แวร์"ซึ่ง สามารถดาวน์โหลดได้ฟรี

• ความท้าทายของ POPLmark

• เว็บไซต์ของศาสตราจารย์เพียร์ซ
• เบนจามิน ซี. เพียร์ซที่เซิร์ฟเวอร์บรรณานุกรมDBLP
• เบนจามิน ซี. เพียร์ซจากโครงการลำดับวงศ์ตระกูลทางคณิตศาสตร์

บทความชีวประวัติเกี่ยวกับผู้เชี่ยวชาญด้านคอมพิวเตอร์ชิ้นนี้ยังไม่สมบูรณ์คุณสามารถช่วยวิกิพีเดียได้โดยการเพิ่มข้อมูลที่ขาดหายไป

• วี
• ที
• อี