Greg Morrisett is an assistant professor at Cornell University's
Department of Computer Science.  His research interests include
advanced language design, theory, and implementation.  In particular,
he is concerned with the application of type theory, semantics, and
logic, for producing systems that are both robust (i.e., fail-stop and/or 
fault-tolerant), yet high performance.  Currently, he is a member of the
TACOMA project where his focus is on compiler and run-time support
for lightweight, low-impact access control mechanisms to ensure
host integrity while executing untrusted agents.