# Greg Morrisett

> American computer scientist

**Wikidata**: [Q5606035](https://www.wikidata.org/wiki/Q5606035)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/Greg_Morrisett)  
**Source**: https://4ort.xyz/entity/greg-morrisett

## Summary
Greg Morrisett is an American computer scientist and academic known for his research in programming languages and software verification. He is a Fellow of the Association for Computing Machinery (ACM) and currently serves as a faculty member at Harvard University.

## Biography
- Nationality: United States
- Education: Carnegie Mellon University
- Known for: Mathematically-based methods for the implementation and verification of programming languages
- Employer(s): Harvard University
- Field(s): Computer Science

## Contributions
Greg Morrisett has made significant academic contributions to the field of computer science, specifically regarding the intersection of programming language theory and software security. His primary work involves the development of mathematically-based methods designed to ensure that practical programming languages are both efficiently implemented and formally verifiable. 

In 2013, Morrisett was recognized as an ACM Fellow for these contributions, which have helped bridge the gap between theoretical formal methods and practical software engineering. Beyond his individual research, Morrisett has been a prolific mentor in the academic community. He has supervised numerous doctoral students who have become influential figures in their own right, including Stephanie Weirich, Daniel Grossman, David Patrick Walker, and Kevin W. Hamlen. His research and teaching career, primarily based at Harvard University, continues to influence the design and security of modern programming systems.

## FAQs
### Q: What is Greg Morrisett's primary area of research?
A: Greg Morrisett focuses on computer science, specifically developing mathematically-based methods for the efficient implementation and verification of practical programming languages.

### Q: Where did Greg Morrisett receive his education?
A: He was educated at Carnegie Mellon University, where he was a student of Peter Lee and was advised by Jeannette Wing and Robert Harper.

### Q: What major professional honors has Greg Morrisett received?
A: He was named a Fellow of the Association for Computing Machinery (ACM) in 2013 for his work on programming language implementation and verification.

### Q: Who are some of Greg Morrisett's notable students?
A: He has advised several prominent computer scientists, including Stephanie Weirich, Daniel Grossman, and David Patrick Walker.

## Why They Matter
Greg Morrisett’s work is foundational to the modern understanding of how programming languages can be designed to be inherently more secure and reliable. By applying rigorous mathematical frameworks to language implementation, he helped establish methods for verifying that software behaves as intended, which is critical for the development of secure systems. 

His influence is further amplified through his extensive academic lineage. By advising a generation of researchers—such as Stephanie Weirich and Daniel Grossman—Morrisett has shaped the trajectory of research in type theory, language-based security, and compiler design. His recognition as an ACM Fellow underscores the industry-wide impact of his efforts to make software systems more robust through formal verification. Without his contributions, the integration of formal mathematical verification into practical programming language implementation would not be as advanced as it is today.

## Notable For
*   **ACM Fellow (2013):** Awarded for contributions to mathematically-based methods for ensuring the efficient implementation and verification of practical programming languages.
*   **Academic Mentorship:** Served as the doctoral advisor for several leading computer scientists, including Stephanie Weirich and Daniel Grossman.
*   **Harvard University Faculty:** Holds a prominent role as an employer and researcher at Harvard University.
*   **Academic Lineage:** Studied under renowned computer scientists Jeannette Wing and Robert Harper at Carnegie Mellon University.

## Body
### Academic Background and Education
Greg Morrisett pursued his higher education at Carnegie Mellon University. During his time there, he was a student of Peter Lee. His doctoral research was supervised by two prominent figures in the field: Jeannette Wing and Robert Harper. His academic history is recorded in the Mathematics Genealogy Project under the identifier 50224.

### Professional Career and Affiliations
Morrisett is currently employed by Harvard University. He is a long-standing member of the Association for Computing Machinery (ACM). On December 10, 2013, he was officially named an ACM Fellow, a distinction reserved for those who have made transformative contributions to the field of computing.

### Research and Mentorship
Morrisett’s research focuses on the application of mathematical methods to programming languages. His work is indexed across major academic databases, including the ACM Digital Library, DBLP (author ID: m/JGMorrisett), and zbMATH (author ID: morrisett.greg). 

He has a significant record of mentoring doctoral students, many of whom have gone on to hold academic and research positions. His former doctoral students include:
*   Stephanie Weirich
*   David Patrick Walker
*   Frederick Mattsson Smith
*   James Robert Cheney
*   Kevin W. Hamlen
*   Matthew Thomas Fluet
*   Daniel Grossman
*   Gregory Malecha

## Schema Markup
```json
{
  "@context": "https://schema.org",
  "@type": "Person",
  "name": "Greg Morrisett",
  "jobTitle": "Computer Scientist",
  "worksFor": {
    "@type": "Organization",
    "name": "Harvard University"
  },
  "nationality": {
    "@type": "Country",
    "name": "United States"
  },
  "alumniOf": [
    {
      "@type": "EducationalOrganization",
      "name": "Carnegie Mellon University"
    }
  ],
  "knowsAbout": [
    "Computer Science",
    "Programming Languages",
    "Software Verification"
  ],
  "sameAs": [
    "https://en.wikipedia.org/wiki/Greg_Morrisett"
  ],
  "description": "American computer scientist and ACM Fellow known for his work on the implementation and verification of programming languages."
}

## References

1. [Source](https://www.acm.org/media-center/2013/december/acm-names-fellows-for-computing-advances-that-are-transforming-science-and-society)
2. Mathematics Genealogy Project