Greg Morrisett
Active 1995–2025
- Affiliations
- Harvard University PressCornell UniversityHarvard UniversityThis corpus build does not record the country of an author's affiliations, so none is shown here. It does not mean these institutions have no country.
- 75
- Papers
- 3,072
- Citations
- 30
- h-index
- 42
- i10-index
Self-citations are included in these numbers.
Citations per year
Citations
- 3 years (3 citations) are not shown (dated before this author's first paper)
Citation sources
Countries
This corpus build does not record which country the citing authors are in, so the country breakdown is not computed. The other breakdowns below are unaffected.
Institutions
Fields
- Computer Science95.3%
- Engineering2.2%
- Social Sciences0.6%
- Biochemistry, Genetics and Molecular Biology0.3%
- Decision Sciences0.3%
- Business, Management and Accounting0.2%
- Other1%
Topics
- Logic, programming, and type systems20.8%
- Security and Verification in Computing17.7%
- Formal Methods in Verification12.7%
- Parallel Computing and Optimization Techniques9.8%
- Advanced Malware Detection Techniques9.5%
- Distributed systems and fault tolerance6.9%
- Other22.6%
Frequent coauthors
- Gang Tan8
- Aleksandar Nanevski5
- Daniel Huang 00015
- Amal Ahmed 00014
- Benjamin C. Pierce4
- Lars Birkedal4
- Amal J. Ahmed 00013
- André DeHon3
- Avraham Shinnar3
- Ben Karel3
- Benjamin G. Zorn3
- Dan Grossman3
- Elaine Shi3
- Geoffrey Mainland3
- Gregory Malecha3
- J. Gregory Malecha3
- Jean-Baptiste Tristan3
- Joshua Gancher3
- Kristina Sojakova3
- Martin Hofmann 00013
- Matt Welsh3
- Matthew Fluet3
- Nick Benton3
- Paul Govereau3
All papers
Loading papers…
