معرفی
Ben Greenman is an Assistant Professor at the University of Utah's Department of Computer Science. He has affiliations with institutions including Cornell University (BS, M.Eng), Northeastern University (PhD), and Brown University (CIFellows 2020). His work spans programming language design, type systems, formal methods, and human factors in software development.
His research focuses on
- Gradual typing and type soundness
- Language design with emphasis on usability
- Formal methods education tools
- Empirical studies of type system usage
Recent work analyzes temporal logic misconceptions, privacy-respecting telemetry for type errors, and macro systems without traditional syntax barriers. His publications reveal trends in
- Gradual type migration
- Runtime monitoring and profiling
- Visual formal methods
- Developer-centric language design
He has received the CIFellows 2020 award and serves on program committees for SPLASH, Scheme, and other conferences. His work addresses both theoretical and practical aspects of programming language design.
حوزههای پژوهشی
