# Peter Mosses

> British computer scientist

**Wikidata**: [Q7175967](https://www.wikidata.org/wiki/Q7175967)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/Peter_Mosses)  
**Source**: https://4ort.xyz/entity/peter-mosses

## Summary
Peter Mosses is a British computer scientist and engineer recognized for his work in mathematical semantics and compiler generation. He has held prominent academic positions at Aarhus University, Swansea University, and the Delft University of Technology, contributing significantly to the formal study of programming languages.

## Biography
- Born: 1948
- Nationality: United Kingdom
- Education: Trinity College (Cambridge), Wolfson College, and the University of Oxford
- Known for: Mathematical semantics and compiler generation
- Employer(s): Aarhus University (1976–2004), Swansea University (2005–2015), Delft University of Technology (2016–present)
- Field(s): Computer science, engineering, mathematics

## Contributions
Peter Mosses has dedicated his career to the formal aspects of computer science, specifically the intersection of mathematical theory and programming language implementation. His foundational work is rooted in his doctoral thesis, "Mathematical semantics and compiler generation," which he completed at the University of Oxford under the supervision of Christopher Strachey. This research focused on using formal semantics to inform and improve the process of building compilers.

Throughout his nearly 30-year tenure at Aarhus University and his subsequent professorship at Swansea University, Mosses has been a prolific researcher and mentor. He has supervised several doctoral students who have become established figures in the field, including Jens Palsberg and Bartosz Klin. His academic output is extensively documented across major platforms such as DBLP, the ACM Digital Library, and Scopus. Additionally, he maintains an active presence in the research community through open-source contributions on GitHub and maintained profiles in the Mathematics Genealogy Project and various international authority files.

## FAQs
### Q: What is Peter Mosses' most significant academic work?
A: Peter Mosses is best known for his research into mathematical semantics and its application to compiler generation. This work was the primary focus of his doctoral thesis at the University of Oxford and has informed his subsequent research and teaching career.

### Q: Which institutions has Peter Mosses been affiliated with?
A: Mosses has had a long international academic career, serving at Aarhus University in Denmark for 28 years, followed by a decade as a professor at Swansea University in the UK. Since 2016, he has been affiliated with the Delft University of Technology in the Netherlands.

### Q: Who was Peter Mosses' doctoral advisor?
A: Peter Mosses was advised by Christopher Strachey, a pioneering British computer scientist known for his fundamental contributions to programming language theory and denotational semantics.

## Why They Matter
Peter Mosses is a key figure in the lineage of formal semantics, particularly within the British tradition established by his advisor, Christopher Strachey. His work on "Mathematical semantics and compiler generation" helped bridge the gap between abstract mathematical models of computation and the practical tools used to translate programming languages into executable code. By providing a rigorous framework for compiler construction, his research contributes to the reliability and correctness of software systems.

Beyond his individual research, Mosses' influence is felt through his extensive mentorship. By advising six doctoral students—many of whom, like Jens Palsberg and Bartosz Klin, have become influential researchers themselves—he has played a vital role in the academic "genealogy" of computer science. His long-standing service at major European research institutions and his involvement in projects like WikiProject Mathematics demonstrate a career-long commitment to the advancement and organization of scientific knowledge.

## Notable For
*   Author of the landmark thesis "Mathematical semantics and compiler generation."
*   Professor Emeritus at Swansea University, where he served from 2005 to 2015.
*   Direct academic descendant of Christopher Strachey at the University of Oxford.
*   Extensive doctoral mentorship, supervising researchers such as Jens Palsberg and Bartosz Klin.

## Body
### Education and Early Career
Peter Mosses was born in 1948 in the United Kingdom. He received his higher education at Trinity College, Cambridge, and Wolfson College, Oxford. He completed his doctoral studies at the University of Oxford, where he produced the thesis "Mathematical semantics and compiler generation" under the guidance of Christopher Strachey.

### Academic Appointments
Mosses has held several significant academic and research positions across Europe:
*   **Aarhus University:** Mosses served at Aarhus University from September 15, 1976, to December 31, 2004.
*   **Swansea University:** He joined Swansea University as a professor on January 1, 2005, and remained in that role until December 31, 2015.
*   **Delft University of Technology:** He began his affiliation with the Delft University of Technology on April 1, 2016.

### Research and Mentorship
As a computer scientist and engineer, Mosses' work is characterized by the application of mathematical logic to computer science problems. He is listed as a researcher in the Mathematics Genealogy Project (ID 93290) and has supervised the following doctoral students:
*   Jens Palsberg
*   Peter Ørbæk
*   Jørgen Iversen
*   Bartosz Klin
*   Søren Bøgh Lassen
*   Christiano Braga

### Digital and Academic Identifiers
Mosses is widely recognized in academic databases and authority files, including:
*   **ORCID:** 0000-0002-5826-7520
*   **Scopus Author ID:** 6701810942
*   **GitHub:** pdmosses
*   **VIAF:** 728498
*   **ISNI:** 0000 0001 1585 0778

## Schema Markup
```json
{
  "@context": "https://schema.org",
  "@type": "Person",
  "name": "Peter Mosses",
  "alternateName": [
    "Peter David Mosses",
    "Peter D. Mosses",
    "P D Mosses",
    "P Mosses"
  ],
  "jobTitle": "Computer Scientist",
  "worksFor": [
    {
      "@type": "Organization",
      "name": "Aarhus University"
    },
    {
      "@type": "Organization",
      "name": "Swansea University"
    },
    {
      "@type": "Organization",
      "name": "Delft University of Technology"
    }
  ],
  "nationality": {
    "@type": "Country",
    "name": "United Kingdom"
  },
  "birthDate": "1948",
  "gender": "male",
  "alumniOf": [
    {
      "@type": "EducationalOrganization",
      "name": "Trinity College"
    },
    {
      "@type": "EducationalOrganization",
      "name": "Wolfson College"
    },
    {
      "@type": "EducationalOrganization",
      "name": "University of Oxford"
    }
  ],
  "knowsAbout": [
    "Computer Science",
    "Mathematical semantics",
    "Compiler generation",
    "Engineering"
  ],
  "sameAs": [
    "https://www.wikidata.org/wiki/Q66364024",
    "https://en.wikipedia.org/wiki/Peter_Mosses",
    "https://orcid.org/0000-0002-5826-7520"
  ],
  "description": "British computer scientist and engineer known for his work in mathematical semantics and compiler generation."
}

## References

1. Mathematics Genealogy Project
2. Integrated Authority File
3. [ORCID Public Data File 2023](https://pub.orcid.org/v3.0/0000-0002-5826-7520/employment/741157)
4. [ORCID Public Data File 2023](https://pub.orcid.org/v3.0/0000-0002-5826-7520/employment/384082)
5. [ORCID Public Data File 2023](https://pub.orcid.org/v3.0/0000-0002-5826-7520/employment/7079371)
6. Faceted Application of Subject Terminology
7. Virtual International Authority File
8. [ORCID Public Data File 2020](https://pub.orcid.org/v3.0_rc1/0000-0002-5826-7520/external-identifiers/1269180)
9. [ORCID Public Data File 2020](https://pub.orcid.org/v3.0_rc1/0000-0002-5826-7520/researcher-urls/1638795)
10. [ORCID Public Data File 2020](https://pub.orcid.org/v3.0_rc1/0000-0002-5826-7520/researcher-urls/442156)
11. National Library of Israel Names and Subjects Authority File