Education
- Bachelor of Science, Industrial and Labor Relations, Cornell University
- Master of Engineering, College of Engineering, Cornell University
- Ph.D., Khoury College of Computer Sciences, Northeastern University. Project: Deep and Shallow Types
Research Summary
General interests: Language design issues regarding proofs, performance, and people. What guarantees do languages offer, how efficiently can they run, and to what extent do they help users meet their goals? Specific interests: Gradual Typing, Language Interoperability, Type Theory, Formal Methods
Biography
Ben Greenman is an assistant professor in the Kahlert School of Computing at the University of Utah. He earned his Ph.D. from Northeastern University in 2020 and was a CIFellows 2020 postdoc at Brown University. His research focus is the science of language design. His team develops methods to measure performance, prove guarantees, and understand human factors for languages and systems.
Other Profile Data
Originally from Albany, NY.