Greg Morrisett is a prominent computer scientist known for his work in programming languages, particularly in areas such as type systems, programming language semantics, and the design of functional programming languages. He has significantly contributed to the development of programming languages and their associated tools, particularly in the context of security and formal verification. Morrisett has served in academic roles, including as a professor and a department chair at institutions such as Harvard University and Cornell University.
Articles by others on the same topic
There are currently no matching articles.