Ben Greenman

Assistant Professor

blg@cs.utah.edu
MEB 3252

Website | Google Scholar

Research Interests
Programming languages, gradual type systems, formal methods, human factors