Computer Science Colloquia - Ben Greenman: Kicking the Ladder Away: From Gradual Types to Plain Types

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 team develops methods to measure performance, prove guarantees, and understand human factors for languages and systems.
Date
Back to top