ปีเตอร์ เดวิด มอสเซส (เกิดปี 1948) เป็นนักวิทยาศาสตร์คอมพิวเตอร์ชาวอังกฤษ

ปีเตอร์ มอสเซส ศึกษาคณิตศาสตร์ในระดับปริญญาตรีที่วิทยาลัยทรินิตี้ มหาวิทยาลัยออกซ์ฟอร์ดและต่อมาได้ศึกษาต่อในระดับปริญญาเอก ภายใต้ การดูแลของคริสโตเฟอร์ สแตรชีในกลุ่มวิจัยการเขียน โปรแกรม ขณะอยู่ที่วิทยาลัยวูล์ฟสัน มหาวิทยาลัยออกซ์ฟอร์ดในช่วงต้นทศวรรษ 1970 เขาเป็นนักศึกษาคนสุดท้ายที่ส่งวิทยานิพนธ์ภายใต้การดูแลของสแตรชี ก่อนที่สแตรชีจะเสียชีวิต

ในปี พ.ศ. 2521 Mosses ได้เผยแพร่คอมไพเลอร์-คอมไพเลอร์ ของเขา ซึ่งก็คือ Semantic Implementation System (SIS) ซึ่งใช้ คำอธิบาย ความหมายเชิงสัญลักษณ์ของภาษาอินพุต^{[ 1 ]}

มอสเซสใช้เวลาส่วนใหญ่ในอาชีพการงานอยู่ที่กลุ่มประเทศ BRICS ในเดนมาร์ก ต่อมาเขากลับมาดำรงตำแหน่งศาสตราจารย์ที่มหาวิทยาลัยสวอนซีประเทศเวลส์ผลงานหลักของเขาอยู่ในสาขาความหมายของโปรแกรม เชิงรูปธรรม โดยเฉพาะอย่างยิ่ง เขาได้ร่วมกับเดวิด วัตต์พัฒนา ความหมายของการกระทำ (action semantics) ซึ่งเป็นการผสมผสานระหว่าง ความหมายเชิงบ่งชี้ (denotational semantics) ความหมายเชิงปฏิบัติการ(operational semantics ) และความหมายเชิงพีชคณิต (algebraic semantics )

ปัจจุบัน มอสเซสเป็นนักวิจัยรับเชิญที่มหาวิทยาลัยเทคนิคเดลฟท์ (TU Delft)โดยทำงานร่วมกับกลุ่มภาษาโปรแกรม

• หน้าหลัก
• ปีเตอร์ ดี. มอสเซสที่เซิร์ฟเวอร์บรรณานุกรมDBLP

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

• วี
• ที
• อี