SPLASH 2024 (series) / Ben Greenman
Registered user since Sun 25 Oct 2015
Name:Ben Greenman
Bio:
Delmar NY -> Cornell University (BS, M.Eng) -> Northeastern University (PhD, Felleisen) -> Brown University (CIFellows 2020) -> University of Utah (asst prof)
Country:United States
Affiliation:University of Utah
Personal website: https://users.cs.utah.edu/~blg/
GitHub: https://github.com/bennn
Research interests:language design, type systems, formal methods, human factors
Contributions
SPLASH 2024-profile
View general profile
View general profile