Greg Morrisett

Registered user since Wed 9 Dec 2020

Name: Greg Morrisett

Bio: Greg Morrisett is the Jack and Rilla Neafsey Dean and Vice Provost of Cornell Tech, a New York City-based campus that is a partnership between Cornell University and the Technion Israel Institute of Technology. The Cornell Tech campus focuses on graduate education that integrates technology, business, law, and design in service of economic impact and societal good, as well as efforts to broaden the pipeline of Tech-industry talent. Previously, Greg served as the Dean of Computing and Information Sciences (CIS) at Cornell University, which houses the departments of Computer Science, Information Science, and Statistics & Data Science. Before this, he held the Allen B. Cutting Chair in Computer Science at Harvard University from 2004-2015. At Harvard, he also served as the Associate Dean for Computer Science and Electrical Engineering and as the Director of the Center for Research on Computation and Society. Before Harvard, Morrisett spent eight years on the faculty of Cornell’s Computer Science Department. He received his bachelor’s degree from the University of Richmond and both his Master’s and Doctorate degrees from Carnegie Mellon University.

Country: United States

Affiliation: Cornell Tech

Personal website: http://www.cs.cornell.edu/~jgm/

Twitter: https://twitter.com/GMorrisett

Research interests: Programming Languages, Formal Methods, Software Security

Contributions

PLMW 2021 Panelist of Panel: Doing Research in PL within the PLMW 2021-track
Panelist in Panelists within the PLMW 2021-track
CoqPL 2018 Author of Revisiting Parametricity: Inductives and Uniformity of Propositions within the -track
PPS 2017 Author of An application of computable distributions to the semantics of probabilistic programs: part 2 within the PPS-track
CoqPL 2017 Author of CertiCoq: A verified compiler for Coq within the CoqPL 2017-track
PLDI 2017 Author of Compiling Markov Chain Monte Carlo Algorithms for Probabilistic Modeling within the PLDI Research Papers-track
PPS 2016 Author of An Application of Computable Distributions to the Semantics of Probabilistic Programs within the PPS 2016-track
PLMW Author of Highs and Lows of a Language Researcher within the PLMW-track
SPLASH 2012 Committee Member in External Reviewers within the OOPSLA Research Papers-track